/* Extracts the physical address on the flash page number from a linear address.  */
static blt_int16u FlashGetPhysAddr(blt_addr addr)
/* Extracts the physical address on the flash page number from a linear address.  */
static blt_int16u FlashGetPhysAddr(blt_addr addr)
{
  return (blt_int16u)(((blt_int16u)addr % FLASH_PAGE_SIZE) + FLASH_PAGE_OFFSET);
}