Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3591 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #define KERN_sparc64_CACHE_H_ |
36 | #define KERN_sparc64_CACHE_H_ |
37 | 37 | ||
38 | #include <mm/page.h> |
38 | #include <mm/page.h> |
39 | #include <mm/frame.h> |
39 | #include <mm/frame.h> |
40 | 40 | ||
41 | #define dcache_flush_page(p) \ |
- | |
42 | dcache_flush_color(PAGE_COLOR((p))) |
- | |
43 | #define dcache_flush_frame(p, f) \ |
- | |
44 | dcache_flush_tag(PAGE_COLOR((p)), ADDR2PFN((f))); |
- | |
45 | - | ||
46 | extern void dcache_flush(void); |
- | |
47 | extern void dcache_flush_color(int c); |
- | |
48 | extern void dcache_flush_tag(int c, pfn_t tag); |
- | |
49 | - | ||
50 | #endif |
41 | #endif |
51 | 42 | ||
52 | /** @} |
43 | /** @} |
53 | */ |
44 | */ |