[deliverable/linux.git] / arch / x86 / kernel / bugs_64.c

/*
 *  Copyright (C) 1994  Linus Torvalds
 *  Copyright (C) 2000  SuSE
 */

#include <linux/kernel.h>
#include <linux/init.h>
#include <asm/alternative.h>
#include <asm/bugs.h>
#include <asm/processor.h>
#include <asm/mtrr.h>

void __init check_bugs(void)
{
	identify_cpu(&boot_cpu_data);
#if !defined(CONFIG_SMP)
	printk("CPU: ");
	print_cpu_info(&boot_cpu_data);
#endif
	alternative_instructions();
}
Commit	Line	Data
c169859d	1	/*
c169859d JF	2	* Copyright (C) 1994 Linus Torvalds
c169859d JF	3	* Copyright (C) 2000 SuSE
c169859d JF	4	*/
	5
	6	#include <linux/kernel.h>
57decbda	7	#include <linux/init.h>
c169859d	8	#include <asm/alternative.h>
dd22a682	9	#include <asm/bugs.h>
c169859d	10	#include <asm/processor.h>
0a203a4c	11	#include <asm/mtrr.h>
c169859d JF	12
	13	void __init check_bugs(void)
	14	{
	15	identify_cpu(&boot_cpu_data);
	16	#if !defined(CONFIG_SMP)
	17	printk("CPU: ");
	18	print_cpu_info(&boot_cpu_data);
	19	#endif
	20	alternative_instructions();
	21	}