Subversion Repositories HelenOS

Rev

Rev 2134 | Rev 2231 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2134 Rev 2141
Line 52... Line 52...
52
 
52
 
53
#ifdef CONFIG_TSB
53
#ifdef CONFIG_TSB
54
#include <arch/mm/tsb.h>
54
#include <arch/mm/tsb.h>
55
#endif
55
#endif
56
 
56
 
57
static void dtlb_pte_copy(pte_t *t, bool ro);
57
static void dtlb_pte_copy(pte_t *t, index_t index, bool ro);
58
static void itlb_pte_copy(pte_t *t);
58
static void itlb_pte_copy(pte_t *t, index_t index);
59
static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const
59
static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate,
60
    char *str);
60
    const char *str);
61
static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
61
static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
62
     tlb_tag_access_reg_t tag, const char *str);
62
    tlb_tag_access_reg_t tag, const char *str);
63
static void do_fast_data_access_protection_fault(istate_t *istate,
63
static void do_fast_data_access_protection_fault(istate_t *istate,
64
    tlb_tag_access_reg_t tag, const char *str);
64
    tlb_tag_access_reg_t tag, const char *str);
65
 
65
 
Line 90... Line 90...
90
 * @param frame Physical frame address.
90
 * @param frame Physical frame address.
91
 * @param pagesize Page size.
91
 * @param pagesize Page size.
92
 * @param locked True for permanent mappings, false otherwise.
92
 * @param locked True for permanent mappings, false otherwise.
93
 * @param cacheable True if the mapping is cacheable, false otherwise.
93
 * @param cacheable True if the mapping is cacheable, false otherwise.
94
 */
94
 */
95
void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool
95
void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize,
96
    locked, bool cacheable)
96
    bool locked, bool cacheable)
97
{
97
{
98
    tlb_tag_access_reg_t tag;
98
    tlb_tag_access_reg_t tag;
99
    tlb_data_t data;
99
    tlb_data_t data;
100
    page_address_t pg;
100
    page_address_t pg;
101
    frame_address_t fr;
101
    frame_address_t fr;
Line 125... Line 125...
125
}
125
}
126
 
126
 
127
/** Copy PTE to TLB.
127
/** Copy PTE to TLB.
128
 *
128
 *
129
 * @param t Page Table Entry to be copied.
129
 * @param t     Page Table Entry to be copied.
-
 
130
 * @param index Zero if lower 8K-subpage, one if higher 8K-subpage.
130
 * @param ro If true, the entry will be created read-only, regardless of its w
131
 * @param ro    If true, the entry will be created read-only, regardless of its
131
 *  field.
132
 *      w field.
132
 */
133
 */
133
void dtlb_pte_copy(pte_t *t, bool ro)
134
void dtlb_pte_copy(pte_t *t, index_t index, bool ro)
134
{
135
{
135
    tlb_tag_access_reg_t tag;
136
    tlb_tag_access_reg_t tag;
136
    tlb_data_t data;
137
    tlb_data_t data;
137
    page_address_t pg;
138
    page_address_t pg;
138
    frame_address_t fr;
139
    frame_address_t fr;
139
 
140
 
140
    pg.address = t->page;
141
    pg.address = t->page + (index << MMU_PAGE_WIDTH);
141
    fr.address = t->frame;
142
    fr.address = t->frame + (index << MMU_PAGE_WIDTH);
142
 
143
 
143
    tag.value = 0;
144
    tag.value = 0;
144
    tag.context = t->as->asid;
145
    tag.context = t->as->asid;
145
    tag.vpn = pg.vpn;
146
    tag.vpn = pg.vpn;
146
   
147
 
Line 163... Line 164...
163
}
164
}
164
 
165
 
165
/** Copy PTE to ITLB.
166
/** Copy PTE to ITLB.
166
 *
167
 *
167
 * @param t Page Table Entry to be copied.
168
 * @param t     Page Table Entry to be copied.
-
 
169
 * @param index Zero if lower 8K-subpage, one if higher 8K-subpage.
168
 */
170
 */
169
void itlb_pte_copy(pte_t *t)
171
void itlb_pte_copy(pte_t *t, index_t index)
170
{
172
{
171
    tlb_tag_access_reg_t tag;
173
    tlb_tag_access_reg_t tag;
172
    tlb_data_t data;
174
    tlb_data_t data;
173
    page_address_t pg;
175
    page_address_t pg;
174
    frame_address_t fr;
176
    frame_address_t fr;
175
 
177
 
176
    pg.address = t->page;
178
    pg.address = t->page + (index << MMU_PAGE_WIDTH);
177
    fr.address = t->frame;
179
    fr.address = t->frame + (index << MMU_PAGE_WIDTH);
178
 
180
 
179
    tag.value = 0;
181
    tag.value = 0;
180
    tag.context = t->as->asid;
182
    tag.context = t->as->asid;
181
    tag.vpn = pg.vpn;
183
    tag.vpn = pg.vpn;
182
   
184
   
Line 197... Line 199...
197
 
199
 
198
/** ITLB miss handler. */
200
/** ITLB miss handler. */
199
void fast_instruction_access_mmu_miss(int n, istate_t *istate)
201
void fast_instruction_access_mmu_miss(int n, istate_t *istate)
200
{
202
{
201
    uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
203
    uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
-
 
204
    index_t index = (istate->tpc >> MMU_PAGE_WIDTH) % MMU_PAGES_PER_PAGE;
202
    pte_t *t;
205
    pte_t *t;
203
 
206
 
204
    page_table_lock(AS, true);
207
    page_table_lock(AS, true);
205
    t = page_mapping_find(AS, va);
208
    t = page_mapping_find(AS, va);
206
    if (t && PTE_EXECUTABLE(t)) {
209
    if (t && PTE_EXECUTABLE(t)) {
207
        /*
210
        /*
208
         * The mapping was found in the software page hash table.
211
         * The mapping was found in the software page hash table.
209
         * Insert it into ITLB.
212
         * Insert it into ITLB.
210
         */
213
         */
211
        t->a = true;
214
        t->a = true;
212
        itlb_pte_copy(t);
215
        itlb_pte_copy(t, index);
213
#ifdef CONFIG_TSB
216
#ifdef CONFIG_TSB
214
        itsb_pte_copy(t);
217
        itsb_pte_copy(t, index);
215
#endif
218
#endif
216
        page_table_unlock(AS, true);
219
        page_table_unlock(AS, true);
217
    } else {
220
    } else {
218
        /*
221
        /*
219
         * Forward the page fault to the address space page fault
222
         * Forward the page fault to the address space page fault
Line 234... Line 237...
234
 */
237
 */
235
void fast_data_access_mmu_miss(int n, istate_t *istate)
238
void fast_data_access_mmu_miss(int n, istate_t *istate)
236
{
239
{
237
    tlb_tag_access_reg_t tag;
240
    tlb_tag_access_reg_t tag;
238
    uintptr_t va;
241
    uintptr_t va;
-
 
242
    index_t index;
239
    pte_t *t;
243
    pte_t *t;
240
 
244
 
241
    tag.value = dtlb_tag_access_read();
245
    tag.value = dtlb_tag_access_read();
-
 
246
    va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE);
242
    va = tag.vpn << PAGE_WIDTH;
247
    index = tag.vpn % MMU_PAGES_PER_PAGE;
243
 
248
 
244
    if (tag.context == ASID_KERNEL) {
249
    if (tag.context == ASID_KERNEL) {
245
        if (!tag.vpn) {
250
        if (!tag.vpn) {
246
            /* NULL access in kernel */
251
            /* NULL access in kernel */
247
            do_fast_data_access_mmu_miss_fault(istate, tag,
252
            do_fast_data_access_mmu_miss_fault(istate, tag,
Line 257... Line 262...
257
        /*
262
        /*
258
         * The mapping was found in the software page hash table.
263
         * The mapping was found in the software page hash table.
259
         * Insert it into DTLB.
264
         * Insert it into DTLB.
260
         */
265
         */
261
        t->a = true;
266
        t->a = true;
262
        dtlb_pte_copy(t, true);
267
        dtlb_pte_copy(t, index, true);
263
#ifdef CONFIG_TSB
268
#ifdef CONFIG_TSB
264
        dtsb_pte_copy(t, true);
269
        dtsb_pte_copy(t, index, true);
265
#endif
270
#endif
266
        page_table_unlock(AS, true);
271
        page_table_unlock(AS, true);
267
    } else {
272
    } else {
268
        /*
273
        /*
269
         * Forward the page fault to the address space page fault handler.
274
         * Forward the page fault to the address space page fault
-
 
275
         * handler.
270
         */    
276
         */    
271
        page_table_unlock(AS, true);
277
        page_table_unlock(AS, true);
272
        if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
278
        if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
273
            do_fast_data_access_mmu_miss_fault(istate, tag,
279
            do_fast_data_access_mmu_miss_fault(istate, tag,
274
                __FUNCTION__);
280
                __FUNCTION__);
Line 279... Line 285...
279
/** DTLB protection fault handler. */
285
/** DTLB protection fault handler. */
280
void fast_data_access_protection(int n, istate_t *istate)
286
void fast_data_access_protection(int n, istate_t *istate)
281
{
287
{
282
    tlb_tag_access_reg_t tag;
288
    tlb_tag_access_reg_t tag;
283
    uintptr_t va;
289
    uintptr_t va;
-
 
290
    index_t index;
284
    pte_t *t;
291
    pte_t *t;
285
 
292
 
286
    tag.value = dtlb_tag_access_read();
293
    tag.value = dtlb_tag_access_read();
287
    va = tag.vpn << PAGE_WIDTH;
294
    va = ALIGN_DOWN((uint64_t) tag.vpn << MMU_PAGE_WIDTH, PAGE_SIZE);
-
 
295
    index = tag.vpn % MMU_PAGES_PER_PAGE;   /* 16K-page emulation */
288
 
296
 
289
    page_table_lock(AS, true);
297
    page_table_lock(AS, true);
290
    t = page_mapping_find(AS, va);
298
    t = page_mapping_find(AS, va);
291
    if (t && PTE_WRITABLE(t)) {
299
    if (t && PTE_WRITABLE(t)) {
292
        /*
300
        /*
Line 294... Line 302...
294
         * writable. Demap the old mapping and insert an updated mapping
302
         * writable. Demap the old mapping and insert an updated mapping
295
         * into DTLB.
303
         * into DTLB.
296
         */
304
         */
297
        t->a = true;
305
        t->a = true;
298
        t->d = true;
306
        t->d = true;
299
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va);
307
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY,
-
 
308
            va + index * MMU_PAGE_SIZE);
300
        dtlb_pte_copy(t, false);
309
        dtlb_pte_copy(t, index, false);
301
#ifdef CONFIG_TSB
310
#ifdef CONFIG_TSB
302
        dtsb_pte_copy(t, false);
311
        dtsb_pte_copy(t, index, false);
303
#endif
312
#endif
304
        page_table_unlock(AS, true);
313
        page_table_unlock(AS, true);
305
    } else {
314
    } else {
306
        /*
315
        /*
307
         * Forward the page fault to the address space page fault
316
         * Forward the page fault to the address space page fault
Line 346... Line 355...
346
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
355
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
347
    }
356
    }
348
 
357
 
349
}
358
}
350
 
359
 
351
void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char
360
void do_fast_instruction_access_mmu_miss_fault(istate_t *istate,
352
    *str)
361
    const char *str)
353
{
362
{
354
    fault_if_from_uspace(istate, "%s\n", str);
363
    fault_if_from_uspace(istate, "%s\n", str);
355
    dump_istate(istate);
364
    dump_istate(istate);
356
    panic("%s\n", str);
365
    panic("%s\n", str);
357
}
366
}
358
 
367
 
359
void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t
368
void do_fast_data_access_mmu_miss_fault(istate_t *istate,
360
    tag, const char *str)
369
    tlb_tag_access_reg_t tag, const char *str)
361
{
370
{
362
    uintptr_t va;
371
    uintptr_t va;
363
 
372
 
364
    va = tag.vpn << PAGE_WIDTH;
373
    va = tag.vpn << MMU_PAGE_WIDTH;
365
 
374
 
366
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
375
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
367
        tag.context);
376
        tag.context);
368
    dump_istate(istate);
377
    dump_istate(istate);
369
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
378
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
370
    panic("%s\n", str);
379
    panic("%s\n", str);
371
}
380
}
372
 
381
 
373
void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t
382
void do_fast_data_access_protection_fault(istate_t *istate,
374
    tag, const char *str)
383
    tlb_tag_access_reg_t tag, const char *str)
375
{
384
{
376
    uintptr_t va;
385
    uintptr_t va;
377
 
386
 
378
    va = tag.vpn << PAGE_WIDTH;
387
    va = tag.vpn << MMU_PAGE_WIDTH;
379
 
388
 
380
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
389
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
381
        tag.context);
390
        tag.context);
382
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
391
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
383
    dump_istate(istate);
392
    dump_istate(istate);
Line 479... Line 488...
479
   
488
   
480
    ctx.v = pc_save.v = mmu_primary_context_read();
489
    ctx.v = pc_save.v = mmu_primary_context_read();
481
    ctx.context = asid;
490
    ctx.context = asid;
482
    mmu_primary_context_write(ctx.v);
491
    mmu_primary_context_write(ctx.v);
483
   
492
   
484
    for (i = 0; i < cnt; i++) {
493
    for (i = 0; i < cnt * MMU_PAGES_PER_PAGE; i++) {
485
        itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
494
        itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
486
            page + i * PAGE_SIZE);
495
            page + i * MMU_PAGE_SIZE);
487
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
496
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY,
488
            page + i * PAGE_SIZE);
497
            page + i * MMU_PAGE_SIZE);
489
    }
498
    }
490
   
499
   
491
    mmu_primary_context_write(pc_save.v);
500
    mmu_primary_context_write(pc_save.v);
492
   
501
   
493
    nucleus_leave();
502
    nucleus_leave();