/* Extracts the physical flash page number from a linear address.  */
static blt_int8u FlashGetPhysPage(blt_addr addr)
/* Extracts the physical flash page number from a linear address.  */
static blt_int8u FlashGetPhysPage(blt_addr addr)
{
  return (blt_int8u)(addr / FLASH_PAGE_SIZE);
}