/* Get flash region (plane) count for the specified bank.  */
uint32_t flash_get_region_count(const uint32_t *pul_flash_descriptor)
/* Get flash region (plane) count for the specified bank.  */
uint32_t flash_get_region_count(const uint32_t *pul_flash_descriptor)
{
	return (pul_flash_descriptor[3]);
}