Searched refs:HCRX_EL2_REG (Results 1 – 3 of 3) sorted by relevance
292 WRITE_SPECIALREG(HCRX_EL2_REG, hypctx->hcrx_el2); in vmm_hyp_reg_restore()
465 msr HCRX_EL2_REG, xzr
212 #define HCRX_EL2_REG MRS_REG_ALT_NAME(HCRX_EL2) macro