Searched refs:kvm_get_vmid_bits (Results 1 – 3 of 3) sorted by relevance
177 static inline unsigned int kvm_get_vmid_bits(void) in kvm_get_vmid_bits() function
476 vtcr |= (kvm_get_vmid_bits() == 16) ? in kvm_arm_setup_stage2()
529 kvm_next_vmid &= (1 << kvm_get_vmid_bits()) - 1; in update_vmid()