/* Get flash total page count for the specified bank.  */
uint32_t flash_get_page_count(const uint32_t *pul_flash_descriptor)
/* Get flash total page count for the specified bank.  */
uint32_t flash_get_page_count(const uint32_t *pul_flash_descriptor)
{
	return (pul_flash_descriptor[1] / pul_flash_descriptor[2]);
}