return (void *)(port + NONCACHE_OFFSET); 
return (void *)(port | (NONCACHE_OFFSET)); 
static inline void *_port2addr(unsigned long port){#if defined(CONFIG_SERIAL_8250) || defined(CONFIG_SERIAL_8250_MODULE)	if (port >= UART0_IOSTART && port <= UART0_IOEND)		port = ((port - UART0_IOSTART) << 1) + UART0_REGSTART;	else if (port >= UART1_IOSTART && port <= UART1_IOEND)		port = ((port - UART1_IOSTART) << 1) + UART1_REGSTART;#endif	/* CONFIG_SERIAL_8250 || CONFIG_SERIAL_8250_MODULE */	return (void *)(port + NONCACHE_OFFSET);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1343f776c51ecbed89eff5e174188523c731a8fe/io_usrv.c/buggy/arch/m32r/kernel/io_usrv.c