| commit | e2b3930626432f5961201e9233acd73267f67601 | [log] [tgz] |
|---|---|---|
| author | Catalin Marinas <catalin.marinas@arm.com> | Wed Sep 12 10:43:32 2012 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Fri Sep 14 14:53:03 2012 +0100 |
| tree | dc86f2f750eb65df24fbdf8c65f180b614de5acc | |
| parent | 0759dfc2ec0dfb8ac5747357bf37459d621f891b [diff] |
arm64: Optimise the cache flushing for user processes The AArch64 port used deferred cache flushing for user processes via flush_dcache_page() and __sync_icache_dcache() (called from set_pte_at()). Anonymous pages were always flushed in flush_dcache_page. This patch adds deferred flushing for anonymous pages and also avoids the I-cache invalidation in __sync_icache_dcache() for clean pages with VIPT I-cache configurations. Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>