void iounmap(void *addr) 
void iounmap(volatile void __iomem *addr) 
void iounmap(void *addr){	if (addr > high_memory)		return vfree((void *) (PAGE_MASK & (unsigned long) addr));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f18cfbf0990bfc2e8e7706eeb9e5bef898ae923/ioremap.c/buggy/arch/cris/mm/ioremap.c