diff options
| author | Rabin Vincent <[email protected]> | 2016-11-08 09:21:19 +0100 |
|---|---|---|
| committer | Russell King <[email protected]> | 2017-01-10 23:31:30 +0000 |
| commit | 00a19f3e25c0c40e0ec77f52d4841d23ad269169 (patch) | |
| tree | 3371f5f7e4a0298833e1d5186aa5e9cb07937c10 /scripts/gdb/linux/device.py | |
| parent | 7ce7d89f48834cefece7804d38fc5d85382edf77 (diff) | |
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 <[email protected]>
Signed-off-by: Rabin Vincent <[email protected]>
Signed-off-by: Russell King <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/device.py')
0 files changed, 0 insertions, 0 deletions