Searched refs:mmfr1 (Results 1 – 2 of 2) sorted by relevance
757 u64 mmfr1; in cpu_has_hw_af() local762 mmfr1 = read_cpuid(ID_AA64MMFR1_EL1); in cpu_has_hw_af()763 return cpuid_feature_extract_unsigned_field(mmfr1, in cpu_has_hw_af()772 static inline unsigned int get_vmid_bits(u64 mmfr1) in get_vmid_bits() argument776 vmid_bits = cpuid_feature_extract_unsigned_field(mmfr1, in get_vmid_bits()
2551 u64 safe_mmfr1, mmfr0, mmfr1; in verify_hyp_capabilities() local2560 mmfr1 = read_cpuid(ID_AA64MMFR1_EL1); in verify_hyp_capabilities()2564 vmid_bits = get_vmid_bits(mmfr1); in verify_hyp_capabilities()
