Searched refs:vttbr (Results 1 – 2 of 2) sorted by relevance
155 u64 vttbr; member
764 u64 vttbr, vtcr, hcr; in lookup_s2_mmu() 768 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in lookup_s2_mmu() 774 /* Don't consider the CnP bit for the vttbr match */ in lookup_s2_mmu() 775 vttbr &= ~VTTBR_CNP_BIT; in lookup_s2_mmu() 797 vttbr == mmu->tlb_vttbr && in lookup_s2_mmu() 803 get_vmid(vttbr) == get_vmid(mmu->tlb_vttbr)) in lookup_s2_mmu() 761 u64 vttbr, vtcr, hcr; lookup_s2_mmu() local