| /branches/arm/kernel/arch/arm32/src/cpu/cpu.c |
|---|
| 30,6 → 30,7 |
| * @{ |
| */ |
| /** @file |
| * @brief CPU identification. |
| */ |
| #include <arch/cpu.h> |
| 93,11 → 94,13 |
| } |
| /** Does nothing on ARM. */ |
| void cpu_arch_init(void) |
| { |
| } |
| /** Retrieves processor identification and stores it to #CPU.arch */ |
| void cpu_identify(void) |
| { |
| arch_cpu_identify(&CPU->arch); |
| 104,6 → 107,7 |
| } |
| /** Prints CPU identification. */ |
| void cpu_print_report(cpu_t *m) |
| { |
| char * vendor = imp_data[0]; |