/kernel/trunk/generic/src/cpu/cpu.c |
---|
38,6 → 38,7 |
#include <typedefs.h> |
#include <memstr.h> |
#include <list.h> |
#include <print.h> |
cpu_t *cpus; |
88,3 → 89,16 |
cpu_identify(); |
cpu_arch_init(); |
} |
/** List all processors. */ |
void cpu_list(void) |
{ |
int i; |
for (i = 0; i < config.cpu_count; i++) { |
if (cpus[i].active) |
cpu_print_report(&cpus[i]); |
else |
printf("cpu%d: not active\n", i); |
} |
} |