Searched refs:kvm_get_vmid_bits (Results 1 – 2 of 2) sorted by relevance
262 static inline unsigned int kvm_get_vmid_bits(void) in kvm_get_vmid_bits() 340 return (vttbr & VTTBR_VMID_MASK(kvm_get_vmid_bits())) >> in get_vmid() 260 static inline unsigned int kvm_get_vmid_bits(void) kvm_get_vmid_bits() function
177 kvm_arm_vmid_bits = kvm_get_vmid_bits(); in kvm_arm_vmid_alloc_init()