ixp2000_reg_write(IXDP2X01_CPLD_FLASH_REG,
ixp2000_reg_wrb(IXDP2X01_CPLD_FLASH_REG,
static unsigned long ixdp2x01_flash_bank_setup(unsigned long ofs){	ixp2000_reg_write(IXDP2X01_CPLD_FLASH_REG,		((ofs >> IXDP2X01_FLASH_WINDOW_BITS) | IXDP2X01_CPLD_FLASH_INTERN));	return (ofs & IXDP2X01_FLASH_WINDOW_MASK);}