/* Gets the number of the first page of a region.  */
uint32_t flashcalw_get_region_first_page_number(uint32_t region)
/* Gets the number of the first page of a region.  */
uint32_t flashcalw_get_region_first_page_number(uint32_t region)
{
	return region * flashcalw_get_page_count_per_region();
}