1 /* Invalidate icache when dcache doesn't need invalidation as it's in
4 * Copyright (C) 2010 Red Hat, Inc. All Rights Reserved.
5 * Written by David Howells (dhowells@redhat.com)
7 * This program is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public Licence
9 * as published by the Free Software Foundation; either version
10 * 2 of the Licence, or (at your option) any later version.
12 #include <linux/module.h>
14 #include <asm/cacheflush.h>
17 * flush_icache_page_range - Flush dcache and invalidate icache for part of a
19 * @start: The starting virtual address of the page part.
20 * @end: The ending virtual address of the page part.
22 * Invalidate the icache for part of a single page, as determined by the
23 * virtual addresses given. The page must be in the paged area. The dcache is
24 * not flushed as the cache must be in write-through mode to get here.
26 static void flush_icache_page_range(unsigned long start
, unsigned long end
)
28 unsigned long addr
, size
, off
;
35 /* work out how much of the page to flush */
36 off
= start
& ~PAGE_MASK
;
39 /* get the physical address the page is mapped to from the page
41 pgd
= pgd_offset(current
->mm
, start
);
42 if (!pgd
|| !pgd_val(*pgd
))
45 pud
= pud_offset(pgd
, start
);
46 if (!pud
|| !pud_val(*pud
))
49 pmd
= pmd_offset(pud
, start
);
50 if (!pmd
|| !pmd_val(*pmd
))
53 ppte
= pte_offset_map(pmd
, start
);
66 addr
= page_to_phys(page
);
68 /* invalidate the icache coverage on that region */
69 mn10300_icache_inv_range2(addr
+ off
, size
);
73 * flush_icache_range - Globally flush dcache and invalidate icache for region
74 * @start: The starting virtual address of the region.
75 * @end: The ending virtual address of the region.
77 * This is used by the kernel to globally flush some code it has just written
78 * from the dcache back to RAM and then to globally invalidate the icache over
79 * that region so that that code can be run on all CPUs in the system.
81 void flush_icache_range(unsigned long start
, unsigned long end
)
83 unsigned long start_page
, end_page
;
85 if (end
> 0x80000000UL
) {
86 /* addresses above 0xa0000000 do not go through the cache */
87 if (end
> 0xa0000000UL
) {
93 /* kernel addresses between 0x80000000 and 0x9fffffff do not
94 * require page tables, so we just map such addresses
96 start_page
= (start
>= 0x80000000UL
) ? start
: 0x80000000UL
;
97 mn10300_dcache_flush_range(start_page
, end
);
98 mn10300_icache_inv_range(start_page
, end
);
99 if (start_page
== start
)
104 start_page
= start
& PAGE_MASK
;
105 end_page
= end
& PAGE_MASK
;
107 if (start_page
== end_page
) {
108 /* the first and last bytes are on the same page */
109 flush_icache_page_range(start
, end
);
110 } else if (start_page
+ 1 == end_page
) {
111 /* split over two virtually contiguous pages */
112 flush_icache_page_range(start
, end_page
);
113 flush_icache_page_range(end_page
, end
);
115 /* more than 2 pages; just flush the entire cache */
116 mn10300_icache_inv();
119 EXPORT_SYMBOL(flush_icache_range
);