Searched refs:CTX_DOUBLE_FAULT_ESR (Results 1 – 3 of 3) sorted by relevance
73 if (read_ctx_reg(state, CTX_DOUBLE_FAULT_ESR) != 0) { in ea_proceed()82 write_ctx_reg(state, CTX_DOUBLE_FAULT_ESR, esr_el3); in ea_proceed()88 write_ctx_reg(state, CTX_DOUBLE_FAULT_ESR, 0); in ea_proceed()
97 #define CTX_DOUBLE_FAULT_ESR U(0x60) macro
2367 …- replace CTX_ESR_EL3 with CTX_DOUBLE_FAULT_ESR ([c722003](https://review.trustedfirmware.org/plug…