return	(unsigned int)__ixp4xx_inl((unsigned int)port); 
return	(unsigned int)__ixp4xx_inl(port & PIO_MASK); 
__ixp4xx_ioread32(void __iomem *port){	if (__is_io_address(port))		return	(unsigned int)__ixp4xx_inl((unsigned int)port);	else {#ifndef CONFIG_IXP4XX_INDIRECT_PCI		return le32_to_cpu(__raw_readl((u32)port));#else		return (unsigned int)__ixp4xx_readl((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