vserver 1.9.3
[linux-2.6.git] / arch / arm / mm / copypage-v6.c
1 /*
2  *  linux/arch/arm/mm/copypage-v6.c
3  *
4  *  Copyright (C) 2002 Deep Blue Solutions Ltd, All Rights Reserved.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 as
8  * published by the Free Software Foundation.
9  */
10 #include <linux/init.h>
11 #include <linux/spinlock.h>
12 #include <linux/mm.h>
13
14 #include <asm/page.h>
15 #include <asm/pgtable.h>
16 #include <asm/shmparam.h>
17 #include <asm/tlbflush.h>
18
19 #if SHMLBA > 16384
20 #error FIX ME
21 #endif
22
23 #define from_address    (0xffff8000)
24 #define from_pgprot     PAGE_KERNEL
25 #define to_address      (0xffffc000)
26 #define to_pgprot       PAGE_KERNEL
27
28 static pte_t *from_pte;
29 static pte_t *to_pte;
30 static spinlock_t v6_lock = SPIN_LOCK_UNLOCKED;
31
32 #define DCACHE_COLOUR(vaddr) ((vaddr & (SHMLBA - 1)) >> PAGE_SHIFT)
33
34 /*
35  * Copy the user page.  No aliasing to deal with so we can just
36  * attack the kernel's existing mapping of these pages.
37  */
38 void v6_copy_user_page_nonaliasing(void *kto, const void *kfrom, unsigned long vaddr)
39 {
40         copy_page(kto, kfrom);
41 }
42
43 /*
44  * Clear the user page.  No aliasing to deal with so we can just
45  * attack the kernel's existing mapping of this page.
46  */
47 void v6_clear_user_page_nonaliasing(void *kaddr, unsigned long vaddr)
48 {
49         clear_page(kaddr);
50 }
51
52 /*
53  * Copy the page, taking account of the cache colour.
54  */
55 void v6_copy_user_page_aliasing(void *kto, const void *kfrom, unsigned long vaddr)
56 {
57         unsigned int offset = DCACHE_COLOUR(vaddr);
58         unsigned long from, to;
59
60         /*
61          * Discard data in the kernel mapping for the new page.
62          * FIXME: needs this MCRR to be supported.
63          */
64         __asm__("mcrr   p15, 0, %1, %0, c6      @ 0xec401f06"
65            :
66            : "r" (kto),
67              "r" ((unsigned long)kto + PAGE_SIZE - L1_CACHE_BYTES)
68            : "cc");
69
70         /*
71          * Now copy the page using the same cache colour as the
72          * pages ultimate destination.
73          */
74         spin_lock(&v6_lock);
75
76         set_pte(from_pte + offset, pfn_pte(__pa(kfrom) >> PAGE_SHIFT, from_pgprot));
77         set_pte(to_pte + offset, pfn_pte(__pa(kto) >> PAGE_SHIFT, to_pgprot));
78
79         from = from_address + (offset << PAGE_SHIFT);
80         to   = to_address + (offset << PAGE_SHIFT);
81
82         flush_tlb_kernel_page(from);
83         flush_tlb_kernel_page(to);
84
85         copy_page((void *)to, (void *)from);
86
87         spin_unlock(&v6_lock);
88 }
89
90 /*
91  * Clear the user page.  We need to deal with the aliasing issues,
92  * so remap the kernel page into the same cache colour as the user
93  * page.
94  */
95 void v6_clear_user_page_aliasing(void *kaddr, unsigned long vaddr)
96 {
97         unsigned int offset = DCACHE_COLOUR(vaddr);
98         unsigned long to = to_address + (offset << PAGE_SHIFT);
99
100         /*
101          * Discard data in the kernel mapping for the new page
102          * FIXME: needs this MCRR to be supported.
103          */
104         __asm__("mcrr   p15, 0, %1, %0, c6      @ 0xec401f06"
105            :
106            : "r" (kaddr),
107              "r" ((unsigned long)kaddr + PAGE_SIZE - L1_CACHE_BYTES)
108            : "cc");
109
110         /*
111          * Now clear the page using the same cache colour as
112          * the pages ultimate destination.
113          */
114         spin_lock(&v6_lock);
115
116         set_pte(to_pte + offset, pfn_pte(__pa(kaddr) >> PAGE_SHIFT, to_pgprot));
117         flush_tlb_kernel_page(to);
118         clear_page((void *)to);
119
120         spin_unlock(&v6_lock);
121 }
122
123 struct cpu_user_fns v6_user_fns __initdata = {
124         .cpu_clear_user_page    = v6_clear_user_page_nonaliasing,
125         .cpu_copy_user_page     = v6_copy_user_page_nonaliasing,
126 };
127
128 static int __init v6_userpage_init(void)
129 {
130         if (cache_is_vipt_aliasing()) {
131                 pgd_t *pgd;
132                 pmd_t *pmd;
133
134                 pgd = pgd_offset_k(from_address);
135                 pmd = pmd_alloc(&init_mm, pgd, from_address);
136                 if (!pmd)
137                         BUG();
138                 from_pte = pte_alloc_kernel(&init_mm, pmd, from_address);
139                 if (!from_pte)
140                         BUG();
141
142                 to_pte = pte_alloc_kernel(&init_mm, pmd, to_address);
143                 if (!to_pte)
144                         BUG();
145
146                 cpu_user.cpu_clear_user_page = v6_clear_user_page_aliasing;
147                 cpu_user.cpu_copy_user_page = v6_copy_user_page_aliasing;
148         }
149
150         return 0;
151 }
152
153 __initcall(v6_userpage_init);
154