/* Copy an user page memory section to a RAM buffer.  */
static void mem_user_read(void *dst, isp_addr_t src, uint16_t nbytes)
/* Copy an user page memory section to a RAM buffer.  */
static void mem_user_read(void *dst, isp_addr_t src, uint16_t nbytes)
{
	memcpy(dst, (U8 *) FLASH_API_USER_PAGE + src, nbytes);
}