FAR_EL1 - FreeBSD

Symbol: FAR_EL1

sys/arm64/include/armreg.h

#define FAR_EL1_REG MRS_REG_ALT_NAME(FAR_EL1)

sys/arm64/vmm/vmm_arm64.c

hypctx_write_sys_reg(hypctx, FAR_EL1, far);

sys/arm64/vmm/vmm_hyp.c

hypctx_write_sys_reg(hypctx, FAR_EL1,

sys/arm64/vmm/vmm_hyp.c

hypctx_read_sys_reg(hypctx, FAR_EL1));

sys/arm64/vmm/vmm_reset.c

HFGWTR, FAR_EL1, NOTRAP);