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

/seL4-camkes-master/kernel/src/plat/bcm2837/machine/
H A Dintc.c19 intc_regs->bfEnableBasicIRQs = BIT(INTERRUPT_BASIC_IRQ_PENDING_REGISTER1 - BASIC_IRQ_OFFSET);
20 intc_regs->bfEnableBasicIRQs = BIT(INTERRUPT_BASIC_IRQ_PENDING_REGISTER2 - BASIC_IRQ_OFFSET);
48 pending &= intc_regs->bfEnableBasicIRQs;
119 intc_regs->bfEnableBasicIRQs = BIT(irq - BASIC_IRQ_OFFSET);
/seL4-camkes-master/kernel/include/drivers/irq/
H A Dbcm2836-armctrl-ic.h87 uint32_t bfEnableBasicIRQs; /* 0x218 R/Wbs */ member in struct:intc_regs

Completed in 73 milliseconds