Searched refs:mm64 (Results 1 – 4 of 4) sorted by relevance
34 c->mm64.bits[0] = READ_SYSREG64(ID_AA64MMFR0_EL1); in identify_cpu()35 c->mm64.bits[1] = READ_SYSREG64(ID_AA64MMFR1_EL1); in identify_cpu()
130 boot_cpu_data.mm64.bits[0], boot_cpu_data.mm64.bits[1]); in processor_id()
1507 if ( info->mm64.pa_range < pa_range ) in setup_virt_paging()1508 pa_range = info->mm64.pa_range; in setup_virt_paging()1511 if ( info->mm64.vmid_bits != MM64_VMID_16_BITS_SUPPORT ) in setup_virt_paging()
417 } mm64; member
Completed in 11 milliseconds