1
2#ifndef _ASM_IA64_CACHEFLUSH_H
3#define _ASM_IA64_CACHEFLUSH_H
4
5
6
7
8
9
10#include <linux/page-flags.h>
11#include <linux/bitops.h>
12
13#include <asm/page.h>
14
15
16
17
18
19
20#define flush_cache_all() do { } while (0)
21#define flush_cache_mm(mm) do { } while (0)
22#define flush_cache_dup_mm(mm) do { } while (0)
23#define flush_cache_range(vma, start, end) do { } while (0)
24#define flush_cache_page(vma, vmaddr, pfn) do { } while (0)
25#define flush_icache_page(vma,page) do { } while (0)
26#define flush_cache_vmap(start, end) do { } while (0)
27#define flush_cache_vunmap(start, end) do { } while (0)
28
29#define ARCH_IMPLEMENTS_FLUSH_DCACHE_PAGE 1
30#define flush_dcache_page(page) \
31do { \
32 clear_bit(PG_arch_1, &(page)->flags); \
33} while (0)
34
35#define flush_dcache_mmap_lock(mapping) do { } while (0)
36#define flush_dcache_mmap_unlock(mapping) do { } while (0)
37
38extern void flush_icache_range (unsigned long start, unsigned long end);
39extern void clflush_cache_range(void *addr, int size);
40
41
42#define flush_icache_user_range(vma, page, user_addr, len) \
43do { \
44 unsigned long _addr = (unsigned long) page_address(page) + ((user_addr) & ~PAGE_MASK); \
45 flush_icache_range(_addr, _addr + (len)); \
46} while (0)
47
48#define copy_to_user_page(vma, page, vaddr, dst, src, len) \
49do { memcpy(dst, src, len); \
50 flush_icache_user_range(vma, page, vaddr, len); \
51} while (0)
52#define copy_from_user_page(vma, page, vaddr, dst, src, len) \
53 memcpy(dst, src, len)
54
55#endif
56