__ixp4xx_insl(port, vaddr, count); 
__ixp4xx_insl(port & PIO_MASK, vaddr, count); 
__ixp4xx_ioread32_rep(u32 port, u32 *vaddr, u32 count){	if (__is_io_address(port))		__ixp4xx_insl(port, vaddr, count);	else#ifndef	CONFIG_IXP4XX_INDIRECT_PCI		__raw_readsl((void __iomem *)port, vaddr, count);#else		__ixp4xx_readsl(port, vaddr, count);#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/147056fb84150966d736fe21fa01d5e0f08e0980/io.h/buggy/include/asm-arm/arch-ixp4xx/io.h