HelenOS sources

PERM_IO_MANAGER   335 kernel/generic/src/ddi/ddi.c 	if (!(perms & PERM_IO_MANAGER))
PERM_IO_MANAGER   372 kernel/generic/src/ddi/ddi.c 	if (!(perms & PERM_IO_MANAGER))
PERM_IO_MANAGER   285 kernel/generic/src/main/kinit.c 			    PERM_IO_MANAGER | PERM_IRQ_REG);