mem_section[section].section_mem_map = (void *) -1; 
mem_section[section].section_mem_map = SECTION_MARKED_PRESENT; 
void memory_present(int nid, unsigned long start, unsigned long end){	unsigned long pfn;	start &= PAGE_SECTION_MASK;	for (pfn = start; pfn < end; pfn += PAGES_PER_SECTION) {		unsigned long section = pfn_to_section_nr(pfn);		if (!mem_section[section].section_mem_map)			mem_section[section].section_mem_map = (void *) -1;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/29751f6991e845f7d002a6ae520bf996b38c8dcd/sparse.c/clean/mm/sparse.c