IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / include / barrelfish_kpi /
drwxr-xr-x   ..
-rw-r--r-- 12924 capabilities.h
-rw-r--r-- 1859 cpu.h
-rw-r--r-- 597 dispatcher_handle.h
-rw-r--r-- 2756 dispatcher_shared.h
-rw-r--r-- 2849 distcaps.h
-rw-r--r-- 1139 domain_params.h
-rw-r--r-- 7091 init.h
-rw-r--r-- 5196 legacy_idc_buffer.h
-rw-r--r-- 1659 lmp.h
-rw-r--r-- 1044 sys_debug.h
-rw-r--r-- 4408 syscalls.h
-rw-r--r-- 3324 types.h
-rw-r--r-- 1038 vmkit.h
-rw-r--r-- 3381 vmx_controls.h
-rw-r--r-- 11226 vmx_encodings.h
-rw-r--r-- 2932 vmx_exit_reasons.h