return (void *)(port + NONCACHE_OFFSET + 0x10000000); 
return (void *)(port + 0x10000000); 
static inline void *_port2addr_ne(unsigned long port){	return (void *)(port + NONCACHE_OFFSET + 0x10000000);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f3ac9fbf7a0b9493377ee88d9b5b2933ff3f7ade/io_m32700ut.c/buggy/arch/m32r/kernel/io_m32700ut.c