Searched refs:safe_vmid_bits (Results 1 – 1 of 1) sorted by relevance
2777 unsigned int safe_vmid_bits, vmid_bits; in verify_hyp_capabilities() local2787 safe_vmid_bits = get_vmid_bits(safe_mmfr1); in verify_hyp_capabilities()2789 if (vmid_bits < safe_vmid_bits) { in verify_hyp_capabilities()