return	(unsigned int)__ixp4xx_inb((unsigned int)port); 
return	(unsigned int)__ixp4xx_inb(port & PIO_MASK); 
__ixp4xx_ioread8(void __iomem *port){	if (__is_io_address(port))		return	(unsigned int)__ixp4xx_inb((unsigned int)port);	else#ifndef CONFIG_IXP4XX_INDIRECT_PCI		return (unsigned int)__raw_readb((u32)port);#else		return (unsigned int)__ixp4xx_readb((u32)port);#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/147056fb84150966d736fe21fa01d5e0f08e0980/io.h/buggy/include/asm-arm/arch-ixp4xx/io.h