Home
last modified time | relevance | path

Searched refs:vmid_field (Results 1 – 1 of 1) sorted by relevance

/arch/arm64/include/asm/
Dkvm_mmu.h270 u64 vmid_field, baddr; in kvm_get_vttbr() local
274 vmid_field = (u64)READ_ONCE(vmid->vmid) << VTTBR_VMID_SHIFT; in kvm_get_vttbr()
275 return kvm_phys_to_vttbr(baddr) | vmid_field | cnp; in kvm_get_vttbr()