Searched refs:normal_irq (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/plat/bcm2837/machine/
H A Dintc.c122 int normal_irq = irq - NORMAL_IRQ_OFFSET; local
123 int index = normal_irq / 32;
125 intc_regs->bfDisableIRQs[index] = BIT(normal_irq % 32);
127 intc_regs->bfEnableIRQs[index] = BIT(normal_irq % 32);

Completed in 44 milliseconds