/* * Copyright (C) 1994 Linus Torvalds * Copyright (C) 2000 SuSE */ #include #include #include #include #include #include void __init check_bugs(void) { identify_cpu(&boot_cpu_data); mtrr_bp_init(); #if !defined(CONFIG_SMP) printk("CPU: "); print_cpu_info(&boot_cpu_data); #endif alternative_instructions(); }