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