|
@@ -1379,7 +1379,7 @@ masked_##_H##interrupt: \
|
|
|
ld r9,PACA_EXGEN+EX_R9(r13); \
|
|
ld r9,PACA_EXGEN+EX_R9(r13); \
|
|
|
ld r10,PACA_EXGEN+EX_R10(r13); \
|
|
ld r10,PACA_EXGEN+EX_R10(r13); \
|
|
|
ld r11,PACA_EXGEN+EX_R11(r13); \
|
|
ld r11,PACA_EXGEN+EX_R11(r13); \
|
|
|
- GET_SCRATCH0(r13); \
|
|
|
|
|
|
|
+ /* returns to kernel where r13 must be set up, so don't restore it */ \
|
|
|
##_H##rfid; \
|
|
##_H##rfid; \
|
|
|
b .; \
|
|
b .; \
|
|
|
MASKED_DEC_HANDLER(_H)
|
|
MASKED_DEC_HANDLER(_H)
|