/* Copy a RAM buffer to a user page memory section.  */
static void mem_user_write(isp_addr_t dst, const void *src, uint16_t nbytes)
/* Copy a RAM buffer to a user page memory section.  */
static void mem_user_write(isp_addr_t dst, const void *src, uint16_t nbytes)
{
	flash_api_memcpy(FLASH_API_USER_PAGE + dst, src, nbytes, true);
}