tree 3371f5f7e4a0298833e1d5186aa5e9cb07937c10
parent 7ce7d89f48834cefece7804d38fc5d85382edf77
author Rabin Vincent <rabinv@axis.com> 1478593279 +0100
committer Russell King <rmk+kernel@armlinux.org.uk> 1484091090 +0000

ARM: 8627/1: avoid cache flushing in flush_dcache_page()

When the data cache is PIPT or VIPT non-aliasing, and cache operations
are broadcast by the hardware, we can always postpone the flush in
flush_dcache_page().  A similar change was done for ARM64 in commit
b5b6c9e9149d ("arm64: Avoid cache flushing in flush_dcache_page()").

Reviewed-by: Catalin Marinas <catalin.marinas@arm.com>
Signed-off-by: Rabin Vincent <rabinv@axis.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>