/* Set the boot bank to the default bank  */
void cpld_set_defbank(void)
/* Set the boot bank to the default bank  */
void cpld_set_defbank(void)
{
	u8 reg = CPLD_READ(flash_ctl_status);
	reg = (reg & ~CPLD_BANK_SEL_MASK) | CPLD_LBMAP_DFLTBANK;
	CPLD_WRITE(flash_ctl_status, reg);
	CPLD_WRITE(reset_ctl1, CPLD_LBMAP_RESET);
}