__ixp4xx_writel(value, (u32)port); 
__ixp4xx_writel(value, port); 
__ixp4xx_iowrite32(u32 value, void __iomem *port){	if (__is_io_address(port))		__ixp4xx_outl(value, (unsigned int)port);	else#ifndef CONFIG_IXP4XX_INDIRECT_PCI		__raw_writel(cpu_to_le32(value), (u32)port);#else		__ixp4xx_writel(value, (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