diff options
author | Russell King <rmk+kernel@arm.linux.org.uk> | 2009-10-25 06:23:04 -0400 |
---|---|---|
committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2009-12-01 13:20:07 -0500 |
commit | 421fe93cc4b06b2f5e875cbe0f692800d4862ee5 (patch) | |
tree | 88c5985799273a7c854159246d715e1ad85646f9 /arch/arm/mm/flush.c | |
parent | b7dc0b2cfc6e9bc7270915c642a8a8e999b6095e (diff) |
ARM: ZERO_PAGE: Avoid flush_dcache_page() for zero page
The zero page is read-only, and has its cache state cleared during
boot. No further maintanence for this page is required.
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Diffstat (limited to 'arch/arm/mm/flush.c')
-rw-r--r-- | arch/arm/mm/flush.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/arch/arm/mm/flush.c b/arch/arm/mm/flush.c index 43474d8752a..82f4b06bf6b 100644 --- a/arch/arm/mm/flush.c +++ b/arch/arm/mm/flush.c | |||
@@ -189,7 +189,16 @@ static void __flush_dcache_aliases(struct address_space *mapping, struct page *p | |||
189 | */ | 189 | */ |
190 | void flush_dcache_page(struct page *page) | 190 | void flush_dcache_page(struct page *page) |
191 | { | 191 | { |
192 | struct address_space *mapping = page_mapping(page); | 192 | struct address_space *mapping; |
193 | |||
194 | /* | ||
195 | * The zero page is never written to, so never has any dirty | ||
196 | * cache lines, and therefore never needs to be flushed. | ||
197 | */ | ||
198 | if (page == ZERO_PAGE(0)) | ||
199 | return; | ||
200 | |||
201 | mapping = page_mapping(page); | ||
193 | 202 | ||
194 | #ifndef CONFIG_SMP | 203 | #ifndef CONFIG_SMP |
195 | if (!PageHighMem(page) && mapping && !mapping_mapped(mapping)) | 204 | if (!PageHighMem(page) && mapping && !mapping_mapped(mapping)) |