Home
last modified time | relevance | path

Searched refs:intc_regs (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/plat/bcm2837/machine/
A Dintc.c13 intc_regs->bfDisableIRQs[0] = 0xffffffff; in initIRQController()
14 intc_regs->bfDisableIRQs[1] = 0xffffffff; in initIRQController()
15 intc_regs->bfDisableBasicIRQs = 0xffffffff; in initIRQController()
17 intc_regs->FIQ_control &= ~FIQCTRL_FIQ_ENABLE; in initIRQController()
47 pending = intc_regs->bfIRQBasicPending; in getActiveIRQ()
48 pending &= intc_regs->bfEnableBasicIRQs; in getActiveIRQ()
56 pending = intc_regs->bfGPUIRQPending[1]; in getActiveIRQ()
57 pending &= intc_regs->bfEnableIRQs[1]; in getActiveIRQ()
61 pending = intc_regs->bfGPUIRQPending[0]; in getActiveIRQ()
62 pending &= intc_regs->bfEnableIRQs[0]; in getActiveIRQ()
[all …]
/seL4-master/include/drivers/irq/
A Dbcm2836-armctrl-ic.h82 volatile struct intc_regs { struct
90 } *intc_regs = (volatile struct intc_regs *)INTC_PPTR; argument

Completed in 3 milliseconds