/* Determines the flash bank that the address belongs to.  */
static blt_int32u FlashGetBank(blt_addr address)
/* Determines the flash bank that the address belongs to.  */
static blt_int32u FlashGetBank(blt_addr address)
{
  blt_int32u result = FLASH_BANK_1;
  ASSERT_RT(address >= FLASH_BASE);
  ASSERT_RT((address - FLASH_BASE) < FLASH_SIZE);
  if ((address - FLASH_BASE) >= FLASH_BANK_SIZE)
  {
    result = FLASH_BANK_2;
  }
  return result;
}