Searched refs:tlb_vtcr (Results 1 – 2 of 2) sorted by relevance
515 u64 tmp, sz = 0, vtcr = mmu->tlb_vtcr; in get_guest_mapping_ttl()601 switch (FIELD_GET(VTCR_EL2_TG0_MASK, mmu->tlb_vtcr)) { in compute_tlb_inval_range()696 vtcr == mmu->tlb_vtcr) in lookup_s2_mmu()750 s2_mmu->tlb_vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in get_s2_mmu_nested()
212 u64 tlb_vtcr; member