HelenOS sources

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]);
HelenOS homepage, sources at GitHub