Searched refs:get_vmid_bits (Results 1 – 3 of 3) sorted by relevance
942 static inline unsigned int get_vmid_bits(u64 mmfr1) in get_vmid_bits() function
640 vtcr |= (get_vmid_bits(mmfr1) == 16) ? VTCR_EL2_VS : 0; in kvm_get_vtcr()
3808 safe_vmid_bits = get_vmid_bits(safe_mmfr1); in verify_hyp_capabilities()3809 vmid_bits = get_vmid_bits(mmfr1); in verify_hyp_capabilities()