tree 09d0f3ebe839b76373ee5ed4674fe305ad9ac256
parent e47c222b22cd53c317a5573e1dc5f9e0cbd46380
author Russell King <rmk@dyn-67.arm.linux.org.uk> 1167517459 +0000
committer Russell King <rmk+kernel@arm.linux.org.uk> 1168285794 +0000

[ARM] pass vma for flush_anon_page()

Since get_user_pages() may be used with processes other than the
current process and calls flush_anon_page(), flush_anon_page() has to
cope in some way with non-current processes.

It may not be appropriate, or even desirable to flush a region of
virtual memory cache in the current process when that is different to
the process that we want the flush to occur for.

Therefore, pass the vma into flush_anon_page() so that the architecture
can work out whether the 'vmaddr' is for the current process or not.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>