HelenOS sources

STATUS_REG_IRQ_DISABLED_BIT   50 kernel/arch/arm32/src/interrupt.c 	current_status_reg_control_write(STATUS_REG_IRQ_DISABLED_BIT | ipl);
STATUS_REG_IRQ_DISABLED_BIT   63 kernel/arch/arm32/src/interrupt.c 	current_status_reg_control_write(ipl & ~STATUS_REG_IRQ_DISABLED_BIT);
STATUS_REG_IRQ_DISABLED_BIT   75 kernel/arch/arm32/src/interrupt.c 	    (current_status_reg_read() & ~STATUS_REG_IRQ_DISABLED_BIT) |
STATUS_REG_IRQ_DISABLED_BIT   76 kernel/arch/arm32/src/interrupt.c 	    (ipl & STATUS_REG_IRQ_DISABLED_BIT));
STATUS_REG_IRQ_DISABLED_BIT   95 kernel/arch/arm32/src/interrupt.c 	return current_status_reg_read() & STATUS_REG_IRQ_DISABLED_BIT;