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