ixp_reg_write(IXP2000_GPIO_POSR, BIT(line)); } else if (value == IXP2000_GPIO_LOW) ixp_reg_write(IXP2000_GPIO_POCR, BIT(line)); 
ixp2000_reg_write(IXP2000_GPIO_POSR, 1 << line); } else if (value == IXP2000_GPIO_LOW) { ixp2000_reg_write(IXP2000_GPIO_POCR, 1 << line); } 
static inline void gpio_line_set(int line, int value){	if (value == IXP2000_GPIO_HIGH) {		ixp_reg_write(IXP2000_GPIO_POSR, BIT(line));	} else if (value == IXP2000_GPIO_LOW)		ixp_reg_write(IXP2000_GPIO_POCR, BIT(line));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c4982887cacf2122bc256e901598b58caf4a34be/gpio.h/clean/include/asm-arm/arch-ixp2000/gpio.h