Searched refs:mm64 (Results 1 – 4 of 4) sorted by relevance
115 c->mm64.bits[0] = READ_SYSREG64(ID_AA64MMFR0_EL1); in identify_cpu()116 c->mm64.bits[1] = READ_SYSREG64(ID_AA64MMFR1_EL1); in identify_cpu()
141 boot_cpu_data.mm64.bits[0], boot_cpu_data.mm64.bits[1]); in processor_id()
2011 if ( pa_range_info[info->mm64.pa_range].pabits < p2m_ipa_bits ) in setup_virt_paging()2012 p2m_ipa_bits = pa_range_info[info->mm64.pa_range].pabits; in setup_virt_paging()2015 if ( info->mm64.vmid_bits != MM64_VMID_16_BITS_SUPPORT ) in setup_virt_paging()
192 } mm64; member
Completed in 13 milliseconds