intcps_sysstatus (reference) in projects: seL4-master

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

/seL4-master/src/plat/am335x/machine/
A D	hardware.c	`14 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()`
/seL4-master/src/plat/omap3/machine/
A D	hardware.c	`24 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()`
/seL4-master/include/drivers/irq/
A D	omap3.h	`31 uint32_t intcps_sysstatus; member`
A D	am335x.h	`43 uint32_t intcps_sysstatus; member`

Completed in 7 milliseconds