Lines Matching defs:vtcr
626 u64 vtcr = VTCR_EL2_FLAGS;
629 vtcr |= kvm_get_parange(mmfr0) << VTCR_EL2_PS_SHIFT;
630 vtcr |= VTCR_EL2_T0SZ(phys_shift);
638 vtcr |= VTCR_EL2_LVLS_TO_SL0(lvls);
654 vtcr |= VTCR_EL2_HA;
658 vtcr |= (get_vmid_bits(mmfr1) == 16) ?
662 return vtcr;
1514 u64 vtcr = mmu->arch->vtcr;
1515 u32 ia_bits = VTCR_EL2_IPA(vtcr);
1516 u32 sl0 = FIELD_GET(VTCR_EL2_SL0_MASK, vtcr);
1536 size_t kvm_pgtable_stage2_pgd_size(u64 vtcr)
1538 u32 ia_bits = VTCR_EL2_IPA(vtcr);
1539 u32 sl0 = FIELD_GET(VTCR_EL2_SL0_MASK, vtcr);