Symbol: HPFAR_EL2_FIPA_ADDR
sys/arm64/vmm/vmm_arm64.c
641
HPFAR_EL2_FIPA_ADDR(hypctx_read_sys_reg(hypctx, HOST_HPFAR_EL2));
sys/arm64/vmm/vmm_arm64.c
758
gpa = HPFAR_EL2_FIPA_ADDR(hypctx_read_sys_reg(hypctx, HOST_HPFAR_EL2));