Searched refs:irq_state (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c93 static inline int __vm_irq_line_state(unsigned long *irq_state, argument
98 (*irq_state) |= BIT(irq_source_id);
100 (*irq_state) &= ~BIT(irq_source_id);
103 return !!(*irq_state);
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h19 enum irq_state { enum

Completed in 46 milliseconds