Searched refs:kvm_get_vmid_bits (Results 1 – 4 of 4) sorted by relevance
432 vtcr |= (kvm_get_vmid_bits() == 16) ? in kvm_arm_setup_stage2()
351 static inline unsigned int kvm_get_vmid_bits(void) in kvm_get_vmid_bits() function
414 static inline unsigned int kvm_get_vmid_bits(void)
535 kvm_next_vmid &= (1 << kvm_get_vmid_bits()) - 1; in update_vmid()
