/* Gets the total number of pages in the flash array.  */
uint32_t flashcalw_get_page_count(void)
/* Gets the total number of pages in the flash array.  */
uint32_t flashcalw_get_page_count(void)
{
	return flashcalw_get_flash_size() / FLASH_PAGE_SIZE;
}