irq_state_t (reference) in projects: seL4-master

Searched refs:irq_state_t (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/object/
A D	interrupt.h	`26 void setIRQState(irq_state_t irqState, irq_t irq);`
A D	structures.h	`28 typedef word_t irq_state_t; typedef`
/seL4-master/src/model/
A D	statedata.c	`77 irq_state_t intStateIRQTable[INT_STATE_ARRAY_SIZE];`
/seL4-master/include/model/
A D	statedata.h	`102 extern irq_state_t intStateIRQTable[];`
/seL4-master/src/object/
A D	interrupt.c	`266 void setIRQState(irq_state_t irqState, irq_t irq) in setIRQState()`

Completed in 9 milliseconds