Searched refs:mm32 (Results 1 – 3 of 3) sorted by relevance
48 c->mm32.bits[0] = READ_SYSREG32(ID_MMFR0_EL1); in identify_cpu()49 c->mm32.bits[1] = READ_SYSREG32(ID_MMFR1_EL1); in identify_cpu()50 c->mm32.bits[2] = READ_SYSREG32(ID_MMFR2_EL1); in identify_cpu()51 c->mm32.bits[3] = READ_SYSREG32(ID_MMFR3_EL1); in identify_cpu()
161 boot_cpu_data.mm32.bits[0], boot_cpu_data.mm32.bits[1], in processor_id()162 boot_cpu_data.mm32.bits[2], boot_cpu_data.mm32.bits[3]); in processor_id()
457 } mm32; member
Completed in 7 milliseconds