 #ifndef CONFIG_HOTPLUG_CPU /* * Free pages reserved for SMP bootup. * When you add hotplug CPU support later remove this * Note there is more work to be done for later CPU bootup. */  free_page((unsigned long) __va(PAGE_SIZE)); free_page((unsigned long) __va(SMP_TRAMPOLINE_BASE)); #endif 
static __cpuinit void smp_cleanup_boot(void){	/*	 * Paranoid:  Set warm reset code and vector here back	 * to default values.	 */	CMOS_WRITE(0, 0xf);	/*	 * Reset trampoline flag	 */	*((volatile int *) phys_to_virt(0x467)) = 0;#ifndef CONFIG_HOTPLUG_CPU	/*	 * Free pages reserved for SMP bootup.	 * When you add hotplug CPU support later remove this	 * Note there is more work to be done for later CPU bootup.	 */	free_page((unsigned long) __va(PAGE_SIZE));	free_page((unsigned long) __va(SMP_TRAMPOLINE_BASE));#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/47e5701e37cf10948c3f2952870d9f18b6e84965/smpboot.c/buggy/arch/x86_64/kernel/smpboot.c