Lines Matching refs:vtcr
305 static void vtcr_to_walk_info(u64 vtcr, struct s2_walk_info *wi) in vtcr_to_walk_info() argument
307 wi->t0sz = vtcr & TCR_EL2_T0SZ_MASK; in vtcr_to_walk_info()
309 switch (vtcr & VTCR_EL2_TG0_MASK) { in vtcr_to_walk_info()
319 wi->sl = FIELD_GET(VTCR_EL2_SL0_MASK, vtcr); in vtcr_to_walk_info()
322 ps_to_output_size(FIELD_GET(VTCR_EL2_PS_MASK, vtcr))); in vtcr_to_walk_info()
328 u64 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in kvm_walk_nested_s2() local
341 vtcr_to_walk_info(vtcr, &wi); in kvm_walk_nested_s2()
415 u64 tmp, sz = 0, vtcr = mmu->tlb_vtcr; in get_guest_mapping_ttl() local
421 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl()
438 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl()
562 u64 vttbr, vtcr, hcr; in lookup_s2_mmu() local
567 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in lookup_s2_mmu()
596 vtcr == mmu->tlb_vtcr) in lookup_s2_mmu()