map.physical = FLUSH_BASE_PHYS + PGDIR_SIZE; 
map.pfn = __phys_to_pfn(FLUSH_BASE_PHYS + PGDIR_SIZE); 
static void __init devicemaps_init(struct machine_desc *mdesc){	struct map_desc map;	unsigned long addr;	void *vectors;	for (addr = VMALLOC_END; addr; addr += PGDIR_SIZE)		pmd_clear(pmd_off_k(addr));	/*	 * Map the cache flushing regions.	 */#ifdef FLUSH_BASE	map.physical = FLUSH_BASE_PHYS;	map.virtual = FLUSH_BASE;	map.length = PGDIR_SIZE;	map.type = MT_CACHECLEAN;	create_mapping(&map);#endif#ifdef FLUSH_BASE_MINICACHE	map.physical = FLUSH_BASE_PHYS + PGDIR_SIZE;	map.virtual = FLUSH_BASE_MINICACHE;	map.length = PGDIR_SIZE;	map.type = MT_MINICLEAN;	create_mapping(&map);#endif	flush_cache_all();	local_flush_tlb_all();	vectors = alloc_bootmem_low_pages(PAGE_SIZE);	BUG_ON(!vectors);	/*	 * Create a mapping for the machine vectors at the high-vectors	 * location (0xffff0000).  If we aren't using high-vectors, also	 * create a mapping at the low-vectors virtual address.	 */	map.physical = virt_to_phys(vectors);	map.virtual = 0xffff0000;	map.length = PAGE_SIZE;	map.type = MT_HIGH_VECTORS;	create_mapping(&map);	if (!vectors_high()) {		map.virtual = 0;		map.type = MT_LOW_VECTORS;		create_mapping(&map);	}	/*	 * Ask the machine support to map in the statically mapped devices.	 * After this point, we can start to touch devices again.	 */	if (mdesc->map_io)		mdesc->map_io();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9769c2468d423a1562dd59a5db250bd0a5533ec9/init.c/clean/arch/arm/mm/init.c