return (void *)(port + NONCACHE_OFFSET); 
return (void *)(port | (NONCACHE_OFFSET)); 
static inline void *_port2addr(unsigned long port){	return (void *)(port + NONCACHE_OFFSET);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1343f776c51ecbed89eff5e174188523c731a8fe/io_oaks32r.c/buggy/arch/m32r/kernel/io_oaks32r.c