Symbol: HOST_VTTBR_EL2
sys/arm64/vmm/vmm_arm64.c
1183
hypctx_write_sys_reg(hypctx, HOST_VTTBR_EL2,
sys/arm64/vmm/vmm_hyp.c
765
WRITE_SPECIALREG(vttbr_el2, hypctx_read_sys_reg(hypctx, HOST_VTTBR_EL2));