Define a type for IRQ identifications
Definition at line 36 of file system/include/pedigree/kernel/machine/hosted/types.h.