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