Subversion Repositories HelenOS

Rev

Rev 2010 | Rev 2048 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2010 Rev 2015
1
/*
1
/*
2
 * Copyright (C) 2006 Jakub Jermar
2
 * Copyright (C) 2006 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup sparc64mm
29
/** @addtogroup sparc64mm
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#include <arch/mm/as.h>
35
#include <arch/mm/as.h>
36
#include <arch/mm/tlb.h>
36
#include <arch/mm/tlb.h>
37
#include <genarch/mm/as_ht.h>
37
#include <genarch/mm/as_ht.h>
38
#include <genarch/mm/asid_fifo.h>
38
#include <genarch/mm/asid_fifo.h>
39
#include <debug.h>
39
#include <debug.h>
40
#include <config.h>
40
#include <config.h>
41
 
41
 
42
#ifdef CONFIG_TSB
42
#ifdef CONFIG_TSB
43
#include <arch/mm/tsb.h>
43
#include <arch/mm/tsb.h>
44
#include <arch/memstr.h>
44
#include <arch/memstr.h>
45
#include <synch/mutex.h>
45
#include <synch/mutex.h>
46
#include <arch/asm.h>
46
#include <arch/asm.h>
47
#include <mm/frame.h>
47
#include <mm/frame.h>
48
#include <bitops.h>
48
#include <bitops.h>
49
#include <macros.h>
49
#include <macros.h>
50
#endif /* CONFIG_TSB */
50
#endif /* CONFIG_TSB */
51
 
51
 
52
#ifdef CONFIG_VIRT_IDX_DCACHE
-
 
53
#include <arch/mm/cache.h>
-
 
54
#endif /* CONFIG_VIRT_IDX_DCACHE */
-
 
55
 
-
 
56
/** Architecture dependent address space init. */
52
/** Architecture dependent address space init. */
57
void as_arch_init(void)
53
void as_arch_init(void)
58
{
54
{
59
    if (config.cpu_active == 1) {
55
    if (config.cpu_active == 1) {
60
        as_operations = &as_ht_operations;
56
        as_operations = &as_ht_operations;
61
        asid_fifo_init();
57
        asid_fifo_init();
62
    }
58
    }
63
}
59
}
64
 
60
 
65
int as_constructor_arch(as_t *as, int flags)
61
int as_constructor_arch(as_t *as, int flags)
66
{
62
{
67
#ifdef CONFIG_TSB
63
#ifdef CONFIG_TSB
68
    int order = fnzb32(((ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t))>>FRAME_WIDTH);
64
    int order = fnzb32(((ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t))>>FRAME_WIDTH);
69
    uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
65
    uintptr_t tsb = (uintptr_t) frame_alloc(order, flags | FRAME_KA);
70
 
66
 
71
    if (!tsb)
67
    if (!tsb)
72
        return -1;
68
        return -1;
73
 
69
 
74
    as->arch.itsb = (tsb_entry_t *) tsb;
70
    as->arch.itsb = (tsb_entry_t *) tsb;
75
    as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT * sizeof(tsb_entry_t));
71
    as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT * sizeof(tsb_entry_t));
76
    memsetb((uintptr_t) as->arch.itsb, (ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t), 0);
72
    memsetb((uintptr_t) as->arch.itsb, (ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t), 0);
77
#endif
73
#endif
78
    return 0;
74
    return 0;
79
}
75
}
80
 
76
 
81
int as_destructor_arch(as_t *as)
77
int as_destructor_arch(as_t *as)
82
{
78
{
83
#ifdef CONFIG_TSB
79
#ifdef CONFIG_TSB
84
    count_t cnt = ((ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t))>>FRAME_WIDTH;
80
    count_t cnt = ((ITSB_ENTRY_COUNT+DTSB_ENTRY_COUNT)*sizeof(tsb_entry_t))>>FRAME_WIDTH;
85
    frame_free(KA2PA((uintptr_t) as->arch.itsb));
81
    frame_free(KA2PA((uintptr_t) as->arch.itsb));
86
    return cnt;
82
    return cnt;
87
#else
83
#else
88
    return 0;
84
    return 0;
89
#endif
85
#endif
90
}
86
}
91
 
87
 
92
int as_create_arch(as_t *as, int flags)
88
int as_create_arch(as_t *as, int flags)
93
{
89
{
94
#ifdef CONFIG_TSB
90
#ifdef CONFIG_TSB
95
    ipl_t ipl;
91
    ipl_t ipl;
96
 
92
 
97
    ipl = interrupts_disable();
93
    ipl = interrupts_disable();
98
    mutex_lock_active(&as->lock);   /* completely unnecessary, but polite */
94
    mutex_lock_active(&as->lock);   /* completely unnecessary, but polite */
99
    tsb_invalidate(as, 0, (count_t) -1);
95
    tsb_invalidate(as, 0, (count_t) -1);
100
    mutex_unlock(&as->lock);
96
    mutex_unlock(&as->lock);
101
    interrupts_restore(ipl);
97
    interrupts_restore(ipl);
102
#endif
98
#endif
103
    return 0;
99
    return 0;
104
}
100
}
105
 
101
 
106
/** Perform sparc64-specific tasks when an address space becomes active on the processor.
102
/** Perform sparc64-specific tasks when an address space becomes active on the processor.
107
 *
103
 *
108
 * Install ASID and map TSBs.
104
 * Install ASID and map TSBs.
109
 *
105
 *
110
 * @param as Address space.
106
 * @param as Address space.
111
 */
107
 */
112
void as_install_arch(as_t *as)
108
void as_install_arch(as_t *as)
113
{
109
{
114
    tlb_context_reg_t ctx;
110
    tlb_context_reg_t ctx;
115
   
111
   
116
    /*
112
    /*
117
     * Note that we don't lock the address space.
113
     * Note that we don't lock the address space.
118
     * That's correct - we can afford it here
114
     * That's correct - we can afford it here
119
     * because we only read members that are
115
     * because we only read members that are
120
     * currently read-only.
116
     * currently read-only.
121
     */
117
     */
122
   
118
   
123
    /*
119
    /*
124
     * Write ASID to secondary context register.
120
     * Write ASID to secondary context register.
125
     * The primary context register has to be set
121
     * The primary context register has to be set
126
     * from TL>0 so it will be filled from the
122
     * from TL>0 so it will be filled from the
127
     * secondary context register from the TL=1
123
     * secondary context register from the TL=1
128
     * code just before switch to userspace.
124
     * code just before switch to userspace.
129
     */
125
     */
130
    ctx.v = 0;
126
    ctx.v = 0;
131
    ctx.context = as->asid;
127
    ctx.context = as->asid;
132
    mmu_secondary_context_write(ctx.v);
128
    mmu_secondary_context_write(ctx.v);
133
 
129
 
134
#ifdef CONFIG_TSB   
130
#ifdef CONFIG_TSB   
135
    uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
131
    uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
136
 
132
 
137
    ASSERT(as->arch.itsb && as->arch.dtsb);
133
    ASSERT(as->arch.itsb && as->arch.dtsb);
138
 
134
 
139
    uintptr_t tsb = (uintptr_t) as->arch.itsb;
135
    uintptr_t tsb = (uintptr_t) as->arch.itsb;
140
       
136
       
141
    if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
137
    if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
142
        /*
138
        /*
143
         * TSBs were allocated from memory not covered
139
         * TSBs were allocated from memory not covered
144
         * by the locked 4M kernel DTLB entry. We need
140
         * by the locked 4M kernel DTLB entry. We need
145
         * to map both TSBs explicitly.
141
         * to map both TSBs explicitly.
146
         */
142
         */
147
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);
143
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);
148
        dtlb_insert_mapping(tsb, KA2PA(tsb), PAGESIZE_64K, true, true);
144
        dtlb_insert_mapping(tsb, KA2PA(tsb), PAGESIZE_64K, true, true);
149
    }
145
    }
150
       
146
       
151
    /*
147
    /*
152
     * Setup TSB Base registers.
148
     * Setup TSB Base registers.
153
     */
149
     */
154
    tsb_base_reg_t tsb_base;
150
    tsb_base_reg_t tsb_base;
155
       
151
       
156
    tsb_base.value = 0;
152
    tsb_base.value = 0;
157
    tsb_base.size = TSB_SIZE;
153
    tsb_base.size = TSB_SIZE;
158
    tsb_base.split = 0;
154
    tsb_base.split = 0;
159
 
155
 
160
    tsb_base.base = ((uintptr_t) as->arch.itsb) >> PAGE_WIDTH;
156
    tsb_base.base = ((uintptr_t) as->arch.itsb) >> PAGE_WIDTH;
161
    itsb_base_write(tsb_base.value);
157
    itsb_base_write(tsb_base.value);
162
    tsb_base.base = ((uintptr_t) as->arch.dtsb) >> PAGE_WIDTH;
158
    tsb_base.base = ((uintptr_t) as->arch.dtsb) >> PAGE_WIDTH;
163
    dtsb_base_write(tsb_base.value);
159
    dtsb_base_write(tsb_base.value);
164
#endif
160
#endif
165
#ifdef CONFIG_VIRT_IDX_DCACHE
-
 
166
    if (as->dcache_flush_on_install) {
-
 
167
        /*
-
 
168
         * Some mappings in this address space are illegal address
-
 
169
         * aliases. Upon their creation, the dcache_flush_on_install
-
 
170
         * flag was set.
-
 
171
         *
-
 
172
         * We are now obliged to flush the D-cache in order to guarantee
-
 
173
         * that there will be at most one cache line for each address
-
 
174
         * alias.
-
 
175
         *
-
 
176
         * This flush performs a cleanup after another address space in
-
 
177
         * which the alias might have existed.
-
 
178
         */
-
 
179
        dcache_flush();
-
 
180
    }
-
 
181
#endif /* CONFIG_VIRT_IDX_DCACHE */
-
 
182
}
161
}
183
 
162
 
184
/** Perform sparc64-specific tasks when an address space is removed from the processor.
163
/** Perform sparc64-specific tasks when an address space is removed from the processor.
185
 *
164
 *
186
 * Demap TSBs.
165
 * Demap TSBs.
187
 *
166
 *
188
 * @param as Address space.
167
 * @param as Address space.
189
 */
168
 */
190
void as_deinstall_arch(as_t *as)
169
void as_deinstall_arch(as_t *as)
191
{
170
{
192
 
171
 
193
    /*
172
    /*
194
     * Note that we don't lock the address space.
173
     * Note that we don't lock the address space.
195
     * That's correct - we can afford it here
174
     * That's correct - we can afford it here
196
     * because we only read members that are
175
     * because we only read members that are
197
     * currently read-only.
176
     * currently read-only.
198
     */
177
     */
199
 
178
 
200
#ifdef CONFIG_TSB
179
#ifdef CONFIG_TSB
201
    uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
180
    uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
202
 
181
 
203
    ASSERT(as->arch.itsb && as->arch.dtsb);
182
    ASSERT(as->arch.itsb && as->arch.dtsb);
204
 
183
 
205
    uintptr_t tsb = (uintptr_t) as->arch.itsb;
184
    uintptr_t tsb = (uintptr_t) as->arch.itsb;
206
       
185
       
207
    if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
186
    if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
208
        /*
187
        /*
209
         * TSBs were allocated from memory not covered
188
         * TSBs were allocated from memory not covered
210
         * by the locked 4M kernel DTLB entry. We need
189
         * by the locked 4M kernel DTLB entry. We need
211
         * to demap the entry installed by as_install_arch().
190
         * to demap the entry installed by as_install_arch().
212
         */
191
         */
213
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);
192
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);
214
    }
193
    }
215
#endif
194
#endif
216
#ifdef CONFIG_VIRT_IDX_DCACHE
-
 
217
    if (as->dcache_flush_on_deinstall) {
-
 
218
        /*
-
 
219
         * Some mappings in this address space are illegal address
-
 
220
         * aliases. Upon their creation, the dcache_flush_on_deinstall
-
 
221
         * flag was set.
-
 
222
         *
-
 
223
         * We are now obliged to flush the D-cache in order to guarantee
-
 
224
         * that there will be at most one cache line for each address
-
 
225
         * alias.
-
 
226
         *
-
 
227
         * This flush performs a cleanup after this address space. It is
-
 
228
         * necessary because other address spaces that contain the same
-
 
229
         * alias are not necessarily aware of the need to carry out the
-
 
230
         * cache flush. The only address spaces that are aware of it are
-
 
231
         * those that created the illegal alias.
-
 
232
         */
-
 
233
        dcache_flush();
-
 
234
    }
-
 
235
#endif /* CONFIG_VIRT_IDX_DCACHE */
-
 
236
}
195
}
237
 
196
 
238
/** @}
197
/** @}
239
 */
198
 */
240
 
199