Symbol: HOST_HDFGRTR2_EL2
sys/arm64/vmm/vmm_hyp.c
380
hypctx_read_sys_reg(hypctx, HOST_HDFGRTR2_EL2));
sys/arm64/vmm/vmm_reset.c
591
*hypctx_sys_reg(el2ctx, HOST_HDFGRTR2_EL2) = 0;