|
@@ -234,8 +234,9 @@ __irq_svc:
|
|
|
#endif
|
|
|
ldr r4, [sp, #S_PSR] @ irqs are already disabled
|
|
|
#ifdef CONFIG_TRACE_IRQFLAGS
|
|
|
- tst r4, #PSR_I_BIT
|
|
|
- bleq trace_hardirqs_on
|
|
|
+ @ The parent context IRQs must have been enabled to get here in
|
|
|
+ @ the first place, so there's no point checking the PSR I bit.
|
|
|
+ bl trace_hardirqs_on
|
|
|
#endif
|
|
|
svc_exit r4 @ return from exception
|
|
|
UNWIND(.fnend )
|