kvm_get_vmid_bits  351 arch/arm/include/asm/kvm_mmu.h static inline unsigned int kvm_get_vmid_bits(void)
kvm_get_vmid_bits  414 arch/arm64/include/asm/kvm_mmu.h static inline unsigned int kvm_get_vmid_bits(void)