Symbol: PSR_IRQ32_MODE
sys/arch/arm/arm/cpu.c
540
set_stackptr(PSR_IRQ32_MODE, ci->ci_irq_stkend);
sys/arch/arm/arm/db_interface.c
115
*valp = get_stackptr(PSR_IRQ32_MODE);
sys/arch/armv7/armv7/armv7_machdep.c
717
set_stackptr(PSR_IRQ32_MODE,