if (phys+len <= MAX_DMA_PFN*PAGE_SIZE) dma_reserve += len / PAGE_SIZE; 
void __init reserve_bootmem_generic(unsigned long phys, unsigned len) { 	/* Should check here against the e820 map to avoid double free */ #ifdef CONFIG_NUMA	int nid = phys_to_nid(phys);  	reserve_bootmem_node(NODE_DATA(nid), phys, len);#else       			reserve_bootmem(phys, len);    #endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e18c6874a505958d153a11f9d6947971c349008a/init.c/clean/arch/x86_64/mm/init.c