Subversion Repositories HelenOS

Rev

Rev 3193 | Rev 3593 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1215 decky 1
/*
2071 jermar 2
 * Copyright (c) 2006 Martin Decky
1215 decky 3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
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
15
 *   derived from this software without specific prior written permission.
16
 *
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
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
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
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
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
1730 decky 29
/** @addtogroup ppc32mm
1702 cejka 30
 * @{
31
 */
32
/** @file
33
 */
34
 
1215 decky 35
#include <mm/tlb.h>
1730 decky 36
#include <arch/mm/tlb.h>
37
#include <arch/interrupt.h>
38
#include <mm/as.h>
39
#include <arch.h>
40
#include <print.h>
41
#include <symtab.h>
1215 decky 42
 
43
 
1730 decky 44
/** Try to find PTE for faulting address
1215 decky 45
 *
1730 decky 46
 * Try to find PTE for faulting address.
47
 * The as->lock must be held on entry to this function
48
 * if lock is true.
1215 decky 49
 *
3193 jermar 50
 * @param as        Address space.
51
 * @param lock      Lock/unlock the address space.
52
 * @param badvaddr  Faulting virtual address.
53
 * @param access    Access mode that caused the fault.
54
 * @param istate    Pointer to interrupted state.
55
 * @param pfrc      Pointer to variable where as_page_fault() return code
56
 *          will be stored.
57
 * @return      PTE on success, NULL otherwise.
1730 decky 58
 *
1215 decky 59
 */
3193 jermar 60
static pte_t *
61
find_mapping_and_check(as_t *as, bool lock, uintptr_t badvaddr, int access,
62
    istate_t *istate, int *pfrc)
1730 decky 63
{
64
    /*
65
     * Check if the mapping exists in page tables.
66
     */
67
    pte_t *pte = page_mapping_find(as, badvaddr);
68
    if ((pte) && (pte->p)) {
69
        /*
70
         * Mapping found in page tables.
71
         * Immediately succeed.
72
         */
73
        return pte;
74
    } else {
75
        int rc;
76
 
77
        /*
78
         * Mapping not found in page tables.
79
         * Resort to higher-level page fault handler.
80
         */
81
        page_table_unlock(as, lock);
82
        switch (rc = as_page_fault(badvaddr, access, istate)) {
3193 jermar 83
        case AS_PF_OK:
84
            /*
85
             * The higher-level page fault handler succeeded,
86
             * The mapping ought to be in place.
87
             */
88
            page_table_lock(as, lock);
89
            pte = page_mapping_find(as, badvaddr);
90
            ASSERT((pte) && (pte->p));
91
            *pfrc = 0;
92
            return pte;
93
        case AS_PF_DEFER:
94
            page_table_lock(as, lock);
95
            *pfrc = rc;
96
            return NULL;
97
        case AS_PF_FAULT:
98
            page_table_lock(as, lock);
99
            printf("Page fault.\n");
100
            *pfrc = rc;
101
            return NULL;
102
        default:
103
            panic("unexpected rc (%d)\n", rc);
1730 decky 104
        }  
105
    }
106
}
107
 
108
 
1780 jermar 109
static void pht_refill_fail(uintptr_t badvaddr, istate_t *istate)
1730 decky 110
{
111
    char *symbol = "";
112
    char *sym2 = "";
113
 
114
    char *s = get_symtab_entry(istate->pc);
115
    if (s)
116
        symbol = s;
117
    s = get_symtab_entry(istate->lr);
118
    if (s)
119
        sym2 = s;
3193 jermar 120
    panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
121
        istate->pc, symbol, sym2);
1730 decky 122
}
123
 
124
 
1780 jermar 125
static void pht_insert(const uintptr_t vaddr, const pfn_t pfn)
1730 decky 126
{
1780 jermar 127
    uint32_t page = (vaddr >> 12) & 0xffff;
128
    uint32_t api = (vaddr >> 22) & 0x3f;
1730 decky 129
 
1780 jermar 130
    uint32_t vsid;
1730 decky 131
    asm volatile (
132
        "mfsrin %0, %1\n"
133
        : "=r" (vsid)
134
        : "r" (vaddr)
135
    );
136
 
1780 jermar 137
    uint32_t sdr1;
1730 decky 138
    asm volatile (
139
        "mfsdr1 %0\n"
140
        : "=r" (sdr1)
141
    );
142
    phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
143
 
144
    /* Primary hash (xor) */
1780 jermar 145
    uint32_t h = 0;
146
    uint32_t hash = vsid ^ page;
147
    uint32_t base = (hash & 0x3ff) << 3;
148
    uint32_t i;
1730 decky 149
    bool found = false;
150
 
151
    /* Find unused or colliding
152
       PTE in PTEG */
153
    for (i = 0; i < 8; i++) {
3193 jermar 154
        if ((!phte[base + i].v) || ((phte[base + i].vsid == vsid) &&
155
            (phte[base + i].api == api))) {
1730 decky 156
            found = true;
157
            break;
158
        }
159
    }
160
 
161
    if (!found) {
162
        /* Secondary hash (not) */
1780 jermar 163
        uint32_t base2 = (~hash & 0x3ff) << 3;
1730 decky 164
 
165
        /* Find unused or colliding
166
           PTE in PTEG */
167
        for (i = 0; i < 8; i++) {
3193 jermar 168
            if ((!phte[base2 + i].v) ||
169
                ((phte[base2 + i].vsid == vsid) &&
170
                (phte[base2 + i].api == api))) {
1730 decky 171
                found = true;
172
                base = base2;
173
                h = 1;
174
                break;
175
            }
176
        }
177
 
178
        if (!found) {
179
            // TODO: A/C precedence groups
180
            i = page % 8;
181
        }
182
    }
183
 
184
    phte[base + i].v = 1;
185
    phte[base + i].vsid = vsid;
186
    phte[base + i].h = h;
187
    phte[base + i].api = api;
188
    phte[base + i].rpn = pfn;
189
    phte[base + i].r = 0;
190
    phte[base + i].c = 0;
191
    phte[base + i].pp = 2; // FIXME
192
}
193
 
194
 
1780 jermar 195
static void pht_real_insert(const uintptr_t vaddr, const pfn_t pfn)
1730 decky 196
{
1780 jermar 197
    uint32_t page = (vaddr >> 12) & 0xffff;
198
    uint32_t api = (vaddr >> 22) & 0x3f;
1730 decky 199
 
1780 jermar 200
    uint32_t vsid;
1730 decky 201
    asm volatile (
202
        "mfsrin %0, %1\n"
203
        : "=r" (vsid)
204
        : "r" (vaddr)
205
    );
206
 
1780 jermar 207
    uint32_t sdr1;
1730 decky 208
    asm volatile (
209
        "mfsdr1 %0\n"
210
        : "=r" (sdr1)
211
    );
212
    phte_t *phte_physical = (phte_t *) (sdr1 & 0xffff0000);
213
 
214
    /* Primary hash (xor) */
1780 jermar 215
    uint32_t h = 0;
216
    uint32_t hash = vsid ^ page;
217
    uint32_t base = (hash & 0x3ff) << 3;
218
    uint32_t i;
1730 decky 219
    bool found = false;
220
 
221
    /* Find unused or colliding
222
       PTE in PTEG */
223
    for (i = 0; i < 8; i++) {
3193 jermar 224
        if ((!phte_physical[base + i].v) ||
225
            ((phte_physical[base + i].vsid == vsid) &&
226
            (phte_physical[base + i].api == api))) {
1730 decky 227
            found = true;
228
            break;
229
        }
230
    }
231
 
232
    if (!found) {
233
        /* Secondary hash (not) */
1780 jermar 234
        uint32_t base2 = (~hash & 0x3ff) << 3;
1730 decky 235
 
236
        /* Find unused or colliding
237
           PTE in PTEG */
238
        for (i = 0; i < 8; i++) {
3193 jermar 239
            if ((!phte_physical[base2 + i].v) ||
240
                ((phte_physical[base2 + i].vsid == vsid) &&
241
                (phte_physical[base2 + i].api == api))) {
1730 decky 242
                found = true;
243
                base = base2;
244
                h = 1;
245
                break;
246
            }
247
        }
248
 
249
        if (!found) {
250
            // TODO: A/C precedence groups
251
            i = page % 8;
252
        }
253
    }
254
 
255
    phte_physical[base + i].v = 1;
256
    phte_physical[base + i].vsid = vsid;
257
    phte_physical[base + i].h = h;
258
    phte_physical[base + i].api = api;
259
    phte_physical[base + i].rpn = pfn;
260
    phte_physical[base + i].r = 0;
261
    phte_physical[base + i].c = 0;
262
    phte_physical[base + i].pp = 2; // FIXME
263
}
264
 
265
 
266
/** Process Instruction/Data Storage Interrupt
267
 *
3193 jermar 268
 * @param n     Interrupt vector number.
269
 * @param istate    Interrupted register context.
1730 decky 270
 *
271
 */
272
void pht_refill(int n, istate_t *istate)
273
{
1780 jermar 274
    uintptr_t badvaddr;
1730 decky 275
    pte_t *pte;
276
    int pfrc;
277
    as_t *as;
278
    bool lock;
279
 
280
    if (AS == NULL) {
281
        as = AS_KERNEL;
282
        lock = false;
283
    } else {
284
        as = AS;
285
        lock = true;
286
    }
287
 
288
    if (n == VECTOR_DATA_STORAGE) {
289
        asm volatile (
290
            "mfdar %0\n"
291
            : "=r" (badvaddr)
292
        );
293
    } else
294
        badvaddr = istate->pc;
295
 
296
    page_table_lock(as, lock);
297
 
3193 jermar 298
    pte = find_mapping_and_check(as, lock, badvaddr,
299
        PF_ACCESS_READ /* FIXME */, istate, &pfrc);
1730 decky 300
    if (!pte) {
301
        switch (pfrc) {
3193 jermar 302
        case AS_PF_FAULT:
303
            goto fail;
304
            break;
305
        case AS_PF_DEFER:
306
            /*
307
             * The page fault came during copy_from_uspace()
308
             * or copy_to_uspace().
309
             */
310
            page_table_unlock(as, lock);
311
            return;
312
        default:
313
            panic("Unexpected pfrc (%d)\n", pfrc);
1730 decky 314
        }
315
    }
316
 
317
    pte->a = 1; /* Record access to PTE */
318
    pht_insert(badvaddr, pte->pfn);
319
 
320
    page_table_unlock(as, lock);
321
    return;
322
 
323
fail:
324
    page_table_unlock(as, lock);
325
    pht_refill_fail(badvaddr, istate);
326
}
327
 
328
 
329
/** Process Instruction/Data Storage Interrupt in Real Mode
330
 *
3193 jermar 331
 * @param n     Interrupt vector number.
332
 * @param istate    Interrupted register context.
1730 decky 333
 *
334
 */
335
bool pht_real_refill(int n, istate_t *istate)
336
{
1780 jermar 337
    uintptr_t badvaddr;
1730 decky 338
 
339
    if (n == VECTOR_DATA_STORAGE) {
340
        asm volatile (
341
            "mfdar %0\n"
342
            : "=r" (badvaddr)
343
        );
344
    } else
345
        badvaddr = istate->pc;
346
 
1780 jermar 347
    uint32_t physmem;
1730 decky 348
    asm volatile (
349
        "mfsprg3 %0\n"
350
        : "=r" (physmem)
351
    );
352
 
353
    if ((badvaddr >= PA2KA(0)) && (badvaddr < PA2KA(physmem))) {
354
        pht_real_insert(badvaddr, KA2PA(badvaddr) >> 12);
355
        return true;
356
    }
357
 
358
    return false;
359
}
360
 
361
 
1215 decky 362
void tlb_arch_init(void)
363
{
1384 decky 364
    tlb_invalidate_all();
365
}
366
 
367
 
368
void tlb_invalidate_all(void)
369
{
1269 decky 370
    asm volatile (
1374 decky 371
        "tlbia\n"
1384 decky 372
        "tlbsync\n"
1269 decky 373
    );
1215 decky 374
}
375
 
376
 
1384 decky 377
void tlb_invalidate_asid(asid_t asid)
1328 decky 378
{
1780 jermar 379
    uint32_t sdr1;
1758 decky 380
    asm volatile (
381
        "mfsdr1 %0\n"
382
        : "=r" (sdr1)
383
    );
384
    phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
385
 
1780 jermar 386
    uint32_t i;
1758 decky 387
    for (i = 0; i < 8192; i++) {
3193 jermar 388
        if ((phte[i].v) && (phte[i].vsid >= (asid << 4)) &&
389
            (phte[i].vsid < ((asid << 4) + 16)))
1758 decky 390
            phte[i].v = 0;
391
    }
1384 decky 392
    tlb_invalidate_all();
1328 decky 393
}
394
 
1730 decky 395
 
1780 jermar 396
void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
1384 decky 397
{
1730 decky 398
    // TODO
1384 decky 399
    tlb_invalidate_all();
400
}
1328 decky 401
 
1384 decky 402
 
1736 decky 403
#define PRINT_BAT(name, ureg, lreg) \
404
    asm volatile ( \
405
        "mfspr %0," #ureg "\n" \
406
        "mfspr %1," #lreg "\n" \
407
        : "=r" (upper), "=r" (lower) \
408
    ); \
409
    mask = (upper & 0x1ffc) >> 2; \
410
    if (upper & 3) { \
1780 jermar 411
        uint32_t tmp = mask; \
1736 decky 412
        length = 128; \
413
        while (tmp) { \
414
            if ((tmp & 1) == 0) { \
415
                printf("ibat[0]: error in mask\n"); \
416
                break; \
417
            } \
418
            length <<= 1; \
419
            tmp >>= 1; \
420
        } \
421
    } else \
422
        length = 0; \
3193 jermar 423
    printf(name ": page=%.*p frame=%.*p length=%d KB (mask=%#x)%s%s\n", \
424
        sizeof(upper) * 2, upper & 0xffff0000, sizeof(lower) * 2, \
425
        lower & 0xffff0000, length, mask, \
426
        ((upper >> 1) & 1) ? " supervisor" : "", \
427
        (upper & 1) ? " user" : "");
1736 decky 428
 
429
 
1215 decky 430
void tlb_print(void)
431
{
1780 jermar 432
    uint32_t sr;
1733 decky 433
 
434
    for (sr = 0; sr < 16; sr++) {
1780 jermar 435
        uint32_t vsid;
1733 decky 436
        asm volatile (
437
            "mfsrin %0, %1\n"
438
            : "=r" (vsid)
439
            : "r" (sr << 28)
440
        );
3193 jermar 441
        printf("vsid[%d]: VSID=%.*p (ASID=%d)%s%s\n", sr,
442
            sizeof(vsid) * 2, vsid & 0xffffff, (vsid & 0xffffff) >> 4,
443
            ((vsid >> 30) & 1) ? " supervisor" : "",
444
            ((vsid >> 29) & 1) ? " user" : "");
1733 decky 445
    }
1736 decky 446
 
1780 jermar 447
    uint32_t upper;
448
    uint32_t lower;
449
    uint32_t mask;
450
    uint32_t length;
1736 decky 451
 
452
    PRINT_BAT("ibat[0]", 528, 529);
453
    PRINT_BAT("ibat[1]", 530, 531);
454
    PRINT_BAT("ibat[2]", 532, 533);
455
    PRINT_BAT("ibat[3]", 534, 535);
456
 
457
    PRINT_BAT("dbat[0]", 536, 537);
458
    PRINT_BAT("dbat[1]", 538, 539);
459
    PRINT_BAT("dbat[2]", 540, 541);
460
    PRINT_BAT("dbat[3]", 542, 543);
1215 decky 461
}
1702 cejka 462
 
1730 decky 463
/** @}
1702 cejka 464
 */