Home
last modified time | relevance | path

Searched refs:intStateIRQTable (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/object/
A Dinterrupt.c197 switch (intStateIRQTable[IRQT_TO_IDX(irq)]) { in handleInterrupt()
263 return intStateIRQTable[IRQT_TO_IDX(irq)] != IRQInactive; in isIRQActive()
268 intStateIRQTable[IRQT_TO_IDX(irq)] = irqState; in setIRQState()
/seL4-master/src/model/
A Dstatedata.c77 irq_state_t intStateIRQTable[INT_STATE_ARRAY_SIZE]; variable
/seL4-master/include/model/
A Dstatedata.h102 extern irq_state_t intStateIRQTable[];

Completed in 5 milliseconds