Searched refs:ich_vtr_el2 (Results 1 – 2 of 2) sorted by relevance
2253 uint64_t ich_vtr_el2; in vgic_v3_init() local2256 ich_vtr_el2 = vmm_read_reg(HYP_REG_ICH_VTR); in vgic_v3_init()2259 pribits = ICH_VTR_EL2_PRIBITS(ich_vtr_el2); in vgic_v3_init()2276 prebits = ICH_VTR_EL2_PREBITS(ich_vtr_el2); in vgic_v3_init()2290 virt_features.ich_lr_num = ICH_VTR_EL2_LISTREGS(ich_vtr_el2); in vgic_v3_init()
615 return (READ_SPECIALREG(ich_vtr_el2)); in VMM_HYP_FUNC()