intcps_pending_irq (reference) in projects: seL4-master

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

/seL4-master/include/drivers/irq/
A D	omap3.h	`50 uint32_t intcps_pending_irq; member 65 if (intc->intcps_n[irq / 32].intcps_pending_irq & (1 << (irq & 31))) { in getActiveIRQ()`
A D	am335x.h	`62 uint32_t intcps_pending_irq; member 76 if (intc->intcps_n[irq / 32].intcps_pending_irq & (1 << (irq & 31))) { in getActiveIRQ()`

Completed in 4 milliseconds