Searched defs:mmfr1 (Results 1 – 5 of 5) sorted by relevance
199 u64 mmfr1 = read_sysreg(id_aa64mmfr1_el1); in hvhe_filter() local
194 u64 mmfr1 = read_sysreg(id_aa64mmfr1_el1); in guest_set_ha() local
594 u64 kvm_get_vtcr(u64 mmfr0, u64 mmfr1, u32 phys_shift) in kvm_get_vtcr()
881 u64 mmfr0, mmfr1; in kvm_init_ipa_range() local
3742 u64 safe_mmfr1, mmfr0, mmfr1; verify_hyp_capabilities() local