More IRQ stuff.
[helenos.git] / kernel / generic / include / ddi / 
treecf32651c4e87e103da95e21b0e223888a07094ea
drwxr-xr-x   ..
-rw-r--r-- 2015 ddi.h
-rw-r--r-- 2260 ddi_arg.h
-rw-r--r-- 1649 device.h
-rw-r--r-- 3354 irq.h