/* Determines the flash page that the address belongs to.  */
static blt_int32u FlashGetPage(blt_addr address)
/* Determines the flash page that the address belongs to.  */
static blt_int32u FlashGetPage(blt_addr address)
{
  blt_int32u result;
  ASSERT_RT(address >= FLASH_BASE);
  ASSERT_RT((address - FLASH_BASE) < FLASH_SIZE);
  result = (address - FLASH_BASE) / FLASH_ERASE_BLOCK_SIZE;
  return result;
}