es7000_plat = 1; 
es7000_plat = ES7000_CLASSIC; 
setup_unisys (){	/*	 * Determine the generation of the ES7000 currently running.	 *	 * es7000_plat = 1 if the machine is a 5xx ES7000 box	 * es7000_plat = 2 if the machine is a x86_64 ES7000 box	 *	 */	if (!(boot_cpu_data.x86 <= 15 && boot_cpu_data.x86_model <= 2))		es7000_plat = 2;	else		es7000_plat = 1;	ioapic_renumber_irq = es7000_rename_gsi;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9338316c9323682d32270d83b106472a50ab6da4/es7000plat.c/clean/arch/i386/mach-es7000/es7000plat.c