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);}