/* Get flash page count per region (plane) for the specified bank.  */
uint32_t flash_get_page_count_per_region(const uint32_t *pul_flash_descriptor)
/* Get flash page count per region (plane) for the specified bank.  */
uint32_t flash_get_page_count_per_region(const uint32_t *pul_flash_descriptor)
{
	return (pul_flash_descriptor[4] / pul_flash_descriptor[2]);
}