Searched refs:IFSR32_EL2 (Results 1 – 4 of 4) sorted by relevance
160 p->arch.ifsr = READ_SYSREG(IFSR32_EL2); in ctxt_switch_from()208 WRITE_SYSREG(n->arch.ifsr, IFSR32_EL2); in ctxt_switch_to()
136 TVM_REG32(IFSR, IFSR32_EL2) in TVM_REG32()
476 WRITE_SYSREG(fsr, IFSR32_EL2); in inject_abt32_exception()949 ctxt.ifsr32_el2 = READ_SYSREG(IFSR32_EL2); in show_registers()
327 #define IFSR32_EL2 IFSR macro
Completed in 10 milliseconds