Symbol: kvm_get_vmid_bits
arch/arm64/include/asm/kvm_mmu.h
342
return (vttbr & VTTBR_VMID_MASK(kvm_get_vmid_bits())) >>
arch/arm64/kvm/vmid.c
177
kvm_arm_vmid_bits = kvm_get_vmid_bits();