Symbol: VTTBR_VMID_MASK
arch/arm64/include/asm/kvm_mmu.h
313
vmid_field &= VTTBR_VMID_MASK(kvm_arm_vmid_bits);
arch/arm64/include/asm/kvm_mmu.h
342
return (vttbr & VTTBR_VMID_MASK(kvm_get_vmid_bits())) >>