kernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because...
[barrelfish] / if /
drwxr-xr-x   ..
-rw-r--r-- 3300 Hakefile
-rw-r--r-- 2598 acpi.if
-rw-r--r-- 717 ahci_mgmt.if
drwxr-xr-x - arch
-rw-r--r-- 516 arrakis.if
-rw-r--r-- 990 ata_rw28.if
-rw-r--r-- 647 bcache.if
-rw-r--r-- 1541 bcast.if
-rw-r--r-- 4683 bench.if
-rw-r--r-- 4372 bfs.if
-rw-r--r-- 609 block_service.if
-rw-r--r-- 2255 bomp.if
-rw-r--r-- 532 boot_perfmon.if
-rw-r--r-- 5228 bulk_ctrl.if
-rw-r--r-- 656 bulkbench.if
-rw-r--r-- 148 cm2.if
-rw-r--r-- 722 dcontrol.if
-rw-r--r-- 1067 ddomain.if
-rw-r--r-- 1103 descq.if
-rw-r--r-- 570 dist_event.if
-rw-r--r-- 1734 dma.if
-rw-r--r-- 2491 dma_mgr.if
-rw-r--r-- 2544 e10k.if
-rw-r--r-- 1370 e10k_vf.if
-rw-r--r-- 410 empty.if
-rw-r--r-- 894 fb.if
-rw-r--r-- 429 flounderbootstrap.if
-rw-r--r-- 1581 glue_bench.if
-rw-r--r-- 464 hpet.if
-rw-r--r-- 1156 int_route_controller.if
-rw-r--r-- 754 int_route_service.if
-rw-r--r-- 1040 interdisp.if
-rw-r--r-- 7940 intermon.if
-rw-r--r-- 2426 interphi.if
-rw-r--r-- 456 ioat_dma_mgr.if
-rw-r--r-- 397 keyboard.if
-rw-r--r-- 699 lock.if
-rw-r--r-- 471 lpc_kbd.if
-rw-r--r-- 971 mem.if
-rw-r--r-- 6287 monitor.if
-rw-r--r-- 3124 monitor_blocking.if
-rw-r--r-- 761 monitor_mem.if
-rw-r--r-- 439 mouse.if
-rw-r--r-- 178 mt_waitset.if
-rw-r--r-- 703 net_ARP.if
-rw-r--r-- 1036 net_filter.if
-rw-r--r-- 1902 net_ports.if
-rw-r--r-- 1572 net_queue_manager.if
-rw-r--r-- 881 net_sockets.if
-rw-r--r-- 1356 net_soft_filters.if
-rw-r--r-- 6967 octopus.if
-rw-r--r-- 3671 omap_sdma.if
-rw-r--r-- 4112 pci.if
-rw-r--r-- 1702 ping_pong.if
-rw-r--r-- 440 pixels.if
drwxr-xr-x - platform
-rw-r--r-- 1099 rcce.if
-rw-r--r-- 780 replay.if
-rw-r--r-- 455 serial.if
-rw-r--r-- 2311 sfn5122f.if
-rw-r--r-- 1404 sfn5122f_devif.if
-rw-r--r-- 1171 skb.if
-rw-r--r-- 659 skb_map.if
-rw-r--r-- 1648 spawn.if
-rw-r--r-- 505 subways.if
-rw-r--r-- 596 terminal.if
-rw-r--r-- 936 terminal_config.if
-rw-r--r-- 1298 terminal_session.if
-rw-r--r-- 614 test.if
-rw-r--r-- 540 test_rpc_cap.if
-rw-r--r-- 908 timer.if
-rw-r--r-- 2412 trivfs.if
-rw-r--r-- 154 twl6030.if
-rw-r--r-- 389 types.if
-rw-r--r-- 367 unixsock.if
-rw-r--r-- 461 usb_driver.if
-rw-r--r-- 3490 usb_manager.if
-rw-r--r-- 998 virtio.if
-rw-r--r-- 511 xcorecap.if
-rw-r--r-- 528 xcorecapbench.if
-rw-r--r-- 2045 xeon_phi.if
-rw-r--r-- 726 xeon_phi_driver.if
-rw-r--r-- 1315 xeon_phi_manager.if
-rw-r--r-- 470 xmplcr.if
-rw-r--r-- 460 xmplmsg.if
-rw-r--r-- 435 xmplrpc.if
-rw-r--r-- 535 xmplthc.if
-rw-r--r-- 3180 xomp.if
-rw-r--r-- 890 xomp_gateway.if