diff options
| author | Catalin Marinas <[email protected]> | 2013-05-01 12:23:05 +0100 |
|---|---|---|
| committer | Catalin Marinas <[email protected]> | 2013-06-07 17:58:28 +0100 |
| commit | b5b6c9e9149d8a7c3f1d7b9d0c046c6184e1dd17 (patch) | |
| tree | 820998f37abcb6ab846e9c9ec59ec30c5c0b43f4 /lib/mpi/mpi-bit.c | |
| parent | d25749afc6f2a40471a70c04a35633e30cbe59a5 (diff) | |
arm64: Avoid cache flushing in flush_dcache_page()
The flush_dcache_page() function is called when the kernel modified a
page cache page. Since the D-cache on AArch64 does not have aliases
this function can simply mark the page as dirty for later flushing via
set_pte_at()/__sync_icache_dcache() if the page is executable (to ensure
the I-D cache coherency).
Signed-off-by: Catalin Marinas <[email protected]>
Reported-by: Will Deacon <[email protected]>
Acked-by: Will Deacon <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions