flush_page_to_ram() question in kernel/ptrace.c

[Manfred Spraul]

>        flush_cache_page(vma, addr);
> 
>         if (write) {
>                 maddr = kmap(page);
>                 memcpy(maddr + (addr & ~PAGE_MASK), buf, len);
>                 flush_page_to_ram(page);
>                 flush_icache_page(vma, page);
>                 kunmap(page);
>         } else {
>                 maddr = kmap(page);
>                 memcpy(buf, maddr + (addr & ~PAGE_MASK), len);
>                 flush_page_to_ram(page);
                  ^^^^^^^^^^^^^^^^^^^^^^
>                 kunmap(page);
>         }

Is this flush required?

The memcpy read from the mapping, it didn't write.

--
	Manfred