intcps_control (reference) in projects: seL4-master

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

/seL4-master/include/drivers/irq/
A D	omap3.h	`35 uint32_t intcps_control; member 94 intc->intcps_control = 1; in ackInterrupt() 103 intc->intcps_control = 1; in handleSpuriousIRQ()`
A D	am335x.h	`47 uint32_t intcps_control; member 110 intc->intcps_control = INTCPS_CONTROL_NEWIRQAGR; in ackInterrupt() 117 intc->intcps_control = INTCPS_CONTROL_NEWIRQAGR; in handleSpuriousIRQ()`

Completed in 2 milliseconds