Searched refs:vmid_field (Results 1 – 2 of 2) sorted by relevance
426 u64 vmid_field, baddr; in kvm_get_vttbr() local429 vmid_field = (u64)vmid->vmid << VTTBR_VMID_SHIFT; in kvm_get_vttbr()430 return kvm_phys_to_vttbr(baddr) | vmid_field; in kvm_get_vttbr()
598 u64 vmid_field, baddr;602 vmid_field = (u64)vmid->vmid << VTTBR_VMID_SHIFT;603 return kvm_phys_to_vttbr(baddr) | vmid_field | cnp;