cpu_print_report 133 kernel/generic/include/cpu.h extern void cpu_print_report(cpu_t *); cpu_print_report 122 kernel/generic/src/cpu/cpu.c cpu_print_report(&cpus[i]);