Searched refs:get_vmid_bits (Results 1 – 4 of 4) sorted by relevance
268 return get_vmid_bits(reg); in kvm_get_vmid_bits()
942 static inline unsigned int get_vmid_bits(u64 mmfr1) in get_vmid_bits() function
645 vtcr |= (get_vmid_bits(mmfr1) == 16) ? VTCR_EL2_VS : 0; in kvm_get_vtcr()
3744 safe_vmid_bits = get_vmid_bits(safe_mmfr1); in verify_hyp_capabilities()3745 vmid_bits = get_vmid_bits(mmfr1); in verify_hyp_capabilities()