Searched refs:CTX_SCXTNUM_EL2 (Results 1 – 2 of 2) sorted by relevance
1267 write_ctx_reg(el2_sysregs_ctx, CTX_SCXTNUM_EL2, read_scxtnum_el2()); in cm_el2_sysregs_context_save()1339 write_scxtnum_el2(read_ctx_reg(el2_sysregs_ctx, CTX_SCXTNUM_EL2)); in cm_el2_sysregs_context_restore()
241 #define CTX_SCXTNUM_EL2 U(0x1c8) macro
