hpet: fix dependencies
[barrelfish] / if /
drwxr-xr-x   ..
-rw-r--r-- 1075 Hakefile
-rw-r--r-- 2213 acpi.if
-rw-r--r-- 722 ahci_mgmt.if
drwxr-xr-x - arch
-rw-r--r-- 521 arrakis.if
-rw-r--r-- 995 ata_rw28.if
-rw-r--r-- 652 bcache.if
-rw-r--r-- 1546 bcast.if
-rw-r--r-- 4688 bench.if
-rw-r--r-- 492 bench_distops.if
-rw-r--r-- 4377 bfs.if
-rw-r--r-- 614 block_service.if
-rw-r--r-- 2255 bomp.if
-rw-r--r-- 537 boot_perfmon.if
-rw-r--r-- 5233 bulk_ctrl.if
-rw-r--r-- 661 bulkbench.if
-rw-r--r-- 148 cm2.if
-rw-r--r-- 828 dcontrol.if
-rw-r--r-- 1378 ddomain.if
-rw-r--r-- 1092 descq.if
-rw-r--r-- 530 devif_test.if
-rw-r--r-- 575 dist_event.if
-rw-r--r-- 1734 dma.if
-rw-r--r-- 2491 dma_mgr.if
-rw-r--r-- 859 e1000_devif.if
-rw-r--r-- 2549 e10k.if
-rw-r--r-- 1694 e10k_vf.if
-rw-r--r-- 415 empty.if
-rw-r--r-- 899 fb.if
-rw-r--r-- 434 flounderbootstrap.if
-rw-r--r-- 1586 glue_bench.if
-rw-r--r-- 469 hpet.if
-rw-r--r-- 435 hyper.if
-rw-r--r-- 1211 int_route_controller.if
-rw-r--r-- 799 int_route_service.if
-rw-r--r-- 1045 interdisp.if
-rw-r--r-- 8295 intermon.if
-rw-r--r-- 2552 interphi.if
-rw-r--r-- 456 ioat_dma_mgr.if
-rw-r--r-- 1164 iommu.if
-rw-r--r-- 1394 kaluga.if
-rw-r--r-- 402 keyboard.if
-rw-r--r-- 704 lock.if
-rw-r--r-- 476 lpc_kbd.if
-rw-r--r-- 977 mem.if
-rw-r--r-- 6503 monitor.if
-rw-r--r-- 3645 monitor_blocking.if
-rw-r--r-- 766 monitor_mem.if
-rw-r--r-- 444 mouse.if
-rw-r--r-- 178 mt_waitset.if
-rw-r--r-- 751 net_ARP.if
-rw-r--r-- 1036 net_filter.if
-rw-r--r-- 1907 net_ports.if
-rw-r--r-- 1577 net_queue_manager.if
-rw-r--r-- 940 net_sockets.if
-rw-r--r-- 1361 net_soft_filters.if
-rw-r--r-- 6970 octopus.if
-rw-r--r-- 3671 omap_sdma.if
-rw-r--r-- 4681 pci.if
-rw-r--r-- 1633 pci_driver_client.if
-rw-r--r-- 558 pci_iommu.if
-rw-r--r-- 1707 ping_pong.if
-rw-r--r-- 445 pixels.if
drwxr-xr-x - platform
-rw-r--r-- 1961 proc_mgmt.if
-rw-r--r-- 1212 queue_service.if
-rw-r--r-- 1104 rcce.if
-rw-r--r-- 785 replay.if
-rw-r--r-- 460 serial.if
-rw-r--r-- 2316 sfn5122f.if
-rw-r--r-- 1428 sfn5122f_devif.if
-rw-r--r-- 1176 skb.if
-rw-r--r-- 664 skb_map.if
-rw-r--r-- 3645 spawn.if
-rw-r--r-- 510 subways.if
-rw-r--r-- 599 terminal.if
-rw-r--r-- 939 terminal_config.if
-rw-r--r-- 1301 terminal_session.if
-rw-r--r-- 619 test.if
-rw-r--r-- 545 test_rpc_cap.if
-rw-r--r-- 913 timer.if
-rw-r--r-- 2417 trivfs.if
-rw-r--r-- 154 twl6030.if
-rw-r--r-- 394 types.if
-rw-r--r-- 372 unixsock.if
-rw-r--r-- 466 usb_driver.if
-rw-r--r-- 3495 usb_manager.if
-rw-r--r-- 998 virtio.if
-rw-r--r-- 516 xcorecap.if
-rw-r--r-- 533 xcorecapbench.if
-rw-r--r-- 2326 xeon_phi.if
-rw-r--r-- 726 xeon_phi_driver.if
-rw-r--r-- 1315 xeon_phi_manager.if
-rw-r--r-- 475 xmplcr.if
-rw-r--r-- 465 xmplmsg.if
-rw-r--r-- 440 xmplrpc.if
-rw-r--r-- 540 xmplthc.if
-rw-r--r-- 3185 xomp.if
-rw-r--r-- 895 xomp_gateway.if