address = (unsigned long)addr; unmap_im_area(address, address + size); 
im_free(addr); 
void iounmap(volatile void __iomem *token){	unsigned long address, size;	void *addr;	if (!mem_init_done)		return;		addr = (void *) ((unsigned long __force) token & PAGE_MASK);		if ((size = im_free(addr)) == 0)		return;	address = (unsigned long)addr; 	unmap_im_area(address, address + size);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/20cee16ced631f70a62c97bdebae08a1c9470448/init.c/buggy/arch/ppc64/mm/init.c