Searched refs:Arch_irqStateInit (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dinterrupt.h17 void Arch_irqStateInit(void);
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dinterrupt.c15 void Arch_irqStateInit(void) function
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot.c65 Arch_irqStateInit();

Completed in 40 milliseconds