free_area_init(zones_size); 
free_area_init_node(0, NODE_DATA(0), zones_size, __pa(PAGE_OFFSET) >> PAGE_SHIFT, holes); 
void __init paging_init(void){	{		unsigned long zones_size[MAX_NR_ZONES] = {0, 0, 0};		unsigned int max_dma;		max_dma = virt_to_phys((char *)MAX_DMA_ADDRESS) >> PAGE_SHIFT;		if (end_pfn < max_dma)			zones_size[ZONE_DMA] = end_pfn;		else {			zones_size[ZONE_DMA] = max_dma;			zones_size[ZONE_NORMAL] = end_pfn - max_dma;		}		free_area_init(zones_size);	}	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/485761bd6a72d33b3d4fa884927b2b0d983b701e/init.c/buggy/arch/x86_64/mm/init.c