/* Get the total page numbers of RWWEE flash.  */
uint32_t _rww_flash_get_total_pages(struct _flash_device *const device)
/* Get the total page numbers of RWWEE flash.  */
uint32_t _rww_flash_get_total_pages(struct _flash_device *const device)
{
	(void)device;
	return (uint32_t)NVMCTRL_RWWEE_PAGES;
}