reserve_bootmem(HIGH_MEMORY, (PFN_PHYS(min_low_pfn) + bootmap_size + PAGE_SIZE-1) - (HIGH_MEMORY)); 
reserve_bootmem(__PHYSICAL_START, (PFN_PHYS(min_low_pfn) + bootmap_size + PAGE_SIZE-1) - (__PHYSICAL_START)); 
void __init setup_bootmem_allocator(void){	unsigned long bootmap_size;	/*	 * Initialize the boot-time allocator (with low memory only):	 */	bootmap_size = init_bootmem(min_low_pfn, max_low_pfn);	register_bootmem_low_pages(max_low_pfn);	/*	 * Reserve the bootmem bitmap itself as well. We do this in two	 * steps (first step was init_bootmem()) because this catches	 * the (very unlikely) case of us accidentally initializing the	 * bootmem allocator with an invalid RAM area.	 */	reserve_bootmem(HIGH_MEMORY, (PFN_PHYS(min_low_pfn) +			 bootmap_size + PAGE_SIZE-1) - (HIGH_MEMORY));	/*	 * reserve physical page 0 - it's a special BIOS page on many boxes,	 * enabling clean reboots, SMP operation, laptop functions.	 */	reserve_bootmem(0, PAGE_SIZE);	/* reserve EBDA region, it's a 4K region */	reserve_ebda_region();    /* could be an AMD 768MPX chipset. Reserve a page  before VGA to prevent       PCI prefetch into it (errata #56). Usually the page is reserved anyways,       unless you have no PS/2 mouse plugged in. */	if (boot_cpu_data.x86_vendor == X86_VENDOR_AMD &&	    boot_cpu_data.x86 == 6)	     reserve_bootmem(0xa0000 - 4096, 4096);#ifdef CONFIG_SMP	/*	 * But first pinch a few for the stack/trampoline stuff	 * FIXME: Don't need the extra page at 4K, but need to fix	 * trampoline before removing it. (see the GDT stuff)	 */	reserve_bootmem(PAGE_SIZE, PAGE_SIZE);#endif#ifdef CONFIG_ACPI_SLEEP	/*	 * Reserve low memory region for sleep support.	 */	acpi_reserve_bootmem();#endif#ifdef CONFIG_X86_FIND_SMP_CONFIG	/*	 * Find and reserve possible boot-time SMP configuration:	 */	find_smp_config();#endif#ifdef CONFIG_BLK_DEV_INITRD	if (LOADER_TYPE && INITRD_START) {		if (INITRD_START + INITRD_SIZE <= (max_low_pfn << PAGE_SHIFT)) {			reserve_bootmem(INITRD_START, INITRD_SIZE);			initrd_start =				INITRD_START ? INITRD_START + PAGE_OFFSET : 0;			initrd_end = initrd_start+INITRD_SIZE;		}		else {			printk(KERN_ERR "initrd extends beyond end of memory "			    "(0x%08lx > 0x%08lx)\ndisabling initrd\n",			    INITRD_START + INITRD_SIZE,			    max_low_pfn << PAGE_SHIFT);			initrd_start = 0;		}	}#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8a9190853c34289d9181acd9c620c76143bf88ca/setup.c/clean/arch/i386/kernel/setup.c