Searched refs:vmid_field (Results 1 – 1 of 1) sorted by relevance
286 u64 vmid_field, baddr; in kvm_get_vttbr() local290 vmid_field = atomic64_read(&vmid->id) << VTTBR_VMID_SHIFT; in kvm_get_vttbr()291 vmid_field &= VTTBR_VMID_MASK(kvm_arm_vmid_bits); in kvm_get_vttbr()292 return kvm_phys_to_vttbr(baddr) | vmid_field | cnp; in kvm_get_vttbr()