Searched refs:mmfr1 (Results 1 – 2 of 2) sorted by relevance
194 u64 mmfr1 = read_sysreg(id_aa64mmfr1_el1); in guest_set_ha() local198 hadbs = FIELD_GET(ID_AA64MMFR1_EL1_HAFDBS, mmfr1); in guest_set_ha()
594 u64 kvm_get_vtcr(u64 mmfr0, u64 mmfr1, u32 phys_shift) in kvm_get_vtcr() argument640 vtcr |= (get_vmid_bits(mmfr1) == 16) ? VTCR_EL2_VS : 0; in kvm_get_vtcr()