Searched refs:safe_mmfr1 (Results 1 – 1 of 1) sorted by relevance
3190 u64 safe_mmfr1, mmfr0, mmfr1; in verify_hyp_capabilities() local3197 safe_mmfr1 = read_sanitised_ftr_reg(SYS_ID_AA64MMFR1_EL1); in verify_hyp_capabilities()3202 safe_vmid_bits = get_vmid_bits(safe_mmfr1); in verify_hyp_capabilities()