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

/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Dflags_arch.h20 #define ARM_MODE_IRQ 0x12 macro
/barrelfish-master/kernel/arch/armv7/
H A Dinit.c118 set_stack_for_mode(ARM_MODE_IRQ, irq_stack + EXCEPTION_MODE_STACK_BYTES);

Completed in 33 milliseconds