/branches/arm/kernel/arch/arm32/src/cpu/cpu.c |
---|
122,8 → 122,8 |
architecture = arch_data[cpu_arch->arch_num]; |
} |
printf("vendor: %s, architecture: ARM %s, part number: %x, variant: %x, revision: %x\n", |
vendor, architecture, cpu_arch->prim_part_num, cpu_arch->variant_num, cpu_arch->rev_num); |
printf("cpu%d: vendor=%s, architecture=ARM %s, part number=%x, variant=%x, revision=%x\n", |
m->id, vendor, architecture, cpu_arch->prim_part_num, cpu_arch->variant_num, cpu_arch->rev_num); |
} |
/** @} |