Symbol: HCRX_EL2
sys/arm64/include/hypervisor.h
212
#define HCRX_EL2_REG MRS_REG_ALT_NAME(HCRX_EL2)
sys/arm64/vmm/vmm_hyp.c
347
READ_SPECIALREG(MRS_REG_ALT_NAME(HCRX_EL2)));