ixp2000_reg_write(IXP2000_GPIO_LSHR, GPIO_IRQ_level_high); 
ixp2000_reg_wrb(IXP2000_GPIO_LSHR, GPIO_IRQ_level_high); 
static void update_gpio_int_csrs(void){	ixp2000_reg_write(IXP2000_GPIO_FEDR, GPIO_IRQ_falling_edge);	ixp2000_reg_write(IXP2000_GPIO_REDR, GPIO_IRQ_rising_edge);	ixp2000_reg_write(IXP2000_GPIO_LSLR, GPIO_IRQ_level_low);	ixp2000_reg_write(IXP2000_GPIO_LSHR, GPIO_IRQ_level_high);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e9b72e43d96a1ea2be0f513c78f16743a835d252/core.c/clean/arch/arm/mach-ixp2000/core.c