ixp2000_reg_write(IXDP2X01_CPLD_FLASH_REG,
ixp2000_reg_wrb(IXDP2X01_CPLD_FLASH_REG,
static void __init ixdp2x01_init_machine(void){	ixp2000_reg_write(IXDP2X01_CPLD_FLASH_REG,		(IXDP2X01_CPLD_FLASH_BANK_MASK | IXDP2X01_CPLD_FLASH_INTERN));		ixdp2x01_flash_data.nr_banks =		((*IXDP2X01_CPLD_FLASH_REG & IXDP2X01_CPLD_FLASH_BANK_MASK) + 1);	platform_add_devices(ixdp2x01_devices, ARRAY_SIZE(ixdp2x01_devices));	ixp2000_uart_init();}