HelenOS sources

PERM_IRQ_REG      892 kernel/generic/src/ipc/sysipc.c 	if (!(perm_get(TASK) & PERM_IRQ_REG))
PERM_IRQ_REG      907 kernel/generic/src/ipc/sysipc.c 	if (!(perm_get(TASK) & PERM_IRQ_REG))
PERM_IRQ_REG      285 kernel/generic/src/main/kinit.c 			    PERM_IO_MANAGER | PERM_IRQ_REG);