VBAR_EL1 - FreeBSD

Symbol: VBAR_EL1

sys/arm64/include/armreg.h

#define VBAR_EL1_REG MRS_REG_ALT_NAME(VBAR_EL1)

sys/arm64/vmm/vmm_arm64.c

vbar_el1 = hypctx_read_sys_reg(hypctx, VBAR_EL1);

sys/arm64/vmm/vmm_hyp.c

hypctx_write_sys_reg(hypctx, VBAR_EL1,

sys/arm64/vmm/vmm_hyp.c

hypctx_read_sys_reg(hypctx, VBAR_EL1));

sys/arm64/vmm/vmm_reset.c

HFGWTR, VBAR_EL1, NOTRAP);