Home
last modified time | relevance | path

Searched refs:intcps_sysstatus (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/plat/am335x/machine/
A Dhardware.c14 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()
/seL4-master/src/plat/omap3/machine/
A Dhardware.c24 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()
/seL4-master/include/drivers/irq/
A Domap3.h31 uint32_t intcps_sysstatus; member
A Dam335x.h43 uint32_t intcps_sysstatus; member

Completed in 4 milliseconds