Symbol: HYP_REG_ICH_VTR
sys/arm64/vmm/io/vgic_v3.c
2257
ich_vtr_el2 = vmm_read_reg(HYP_REG_ICH_VTR);
sys/arm64/vmm/vmm_hyp.c
686
case HYP_REG_ICH_VTR: