/branches/arm/kernel/arch/arm32/src/exception.c |
---|
161,7 → 161,7 |
* can not be used because of nested interrupts (which can occur |
* because interrupt are enabled in higher levels of interrupt handler). |
*/ |
inline static void switchToIrqServicingMode() |
inline static void switch_to_irq_servicing_mode() |
{ |
/* switch to Undefined mode */ |
asm volatile( |
283,7 → 283,7 |
asm("sub lr, lr, #4"); |
setup_stack_and_save_regs(); |
switchToIrqServicingMode(); |
switch_to_irq_servicing_mode(); |
CALL_EXC_DISPATCH(EXC_IRQ) |