diff options
| author | Catalin Marinas <[email protected]> | 2013-05-01 16:38:23 +0100 |
|---|---|---|
| committer | Catalin Marinas <[email protected]> | 2013-06-07 17:58:30 +0100 |
| commit | ebd88367de80f9509bd30a09342d0a19c925b23e (patch) | |
| tree | 32c41a487f3ccfd91fc532be216bf5db1234c5ff /lib/mpi/mpi-bit.c | |
| parent | 7249b79f6b4cc3c2aa9138dca52e535a4c789107 (diff) | |
arm64: Remove __flush_dcache_page()
This function is only used in __sync_icache_dcache(), so remove it and
call __flush_dcache_area() directly. The flush_icache_user_range()
function is not used in the arm64 kernel.
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