Searched defs:mmfr1 (Results 1 – 2 of 2) sorted by relevance
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()