/* 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 val;
	val = CPLD_DEFAULT_BANK;
	CPLD_WRITE(global_reset, val);
}