int print_cpuinfo(void) { post_code(POST_CPU_INFO); return default_print_cpuinfo(); }
int print_cpuinfo(void) { return default_print_cpuinfo(); }