Subversion Repositories HelenOS-historic

Rev

Rev 1196 | Rev 1595 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1196 Rev 1288
Line 42... Line 42...
42
 
42
 
43
static void tlb_refill_fail(istate_t *istate);
43
static void tlb_refill_fail(istate_t *istate);
44
static void tlb_invalid_fail(istate_t *istate);
44
static void tlb_invalid_fail(istate_t *istate);
45
static void tlb_modified_fail(istate_t *istate);
45
static void tlb_modified_fail(istate_t *istate);
46
 
46
 
47
static pte_t *find_mapping_and_check(__address badvaddr);
47
static pte_t *find_mapping_and_check(__address badvaddr, istate_t *istate, int *pfrc);
48
 
48
 
49
static void prepare_entry_lo(entry_lo_t *lo, bool g, bool v, bool d, bool cacheable, __address pfn);
49
static void prepare_entry_lo(entry_lo_t *lo, bool g, bool v, bool d, bool cacheable, __address pfn);
50
static void prepare_entry_hi(entry_hi_t *hi, asid_t asid, __address addr);
50
static void prepare_entry_hi(entry_hi_t *hi, asid_t asid, __address addr);
51
 
51
 
52
/** Initialize TLB
52
/** Initialize TLB
Line 89... Line 89...
89
    entry_lo_t lo;
89
    entry_lo_t lo;
90
    entry_hi_t hi;
90
    entry_hi_t hi;
91
    asid_t asid;
91
    asid_t asid;
92
    __address badvaddr;
92
    __address badvaddr;
93
    pte_t *pte;
93
    pte_t *pte;
-
 
94
    int pfrc;
94
 
95
 
95
    badvaddr = cp0_badvaddr_read();
96
    badvaddr = cp0_badvaddr_read();
96
 
97
 
97
    spinlock_lock(&AS->lock);
98
    spinlock_lock(&AS->lock);
98
    asid = AS->asid;
99
    asid = AS->asid;
99
    spinlock_unlock(&AS->lock);
100
    spinlock_unlock(&AS->lock);
100
 
101
 
101
    page_table_lock(AS, true);
102
    page_table_lock(AS, true);
102
 
103
 
103
    pte = find_mapping_and_check(badvaddr);
104
    pte = find_mapping_and_check(badvaddr, istate, &pfrc);
104
    if (!pte)
105
    if (!pte) {
-
 
106
        switch (pfrc) {
-
 
107
        case AS_PF_FAULT:
105
        goto fail;
108
            goto fail;
-
 
109
            break;
-
 
110
        case AS_PF_DEFER:
-
 
111
            /*
-
 
112
             * The page fault came during copy_from_uspace()
-
 
113
             * or copy_to_uspace().
-
 
114
             */
-
 
115
            page_table_unlock(AS, true);
-
 
116
            return;
-
 
117
        default:
-
 
118
            panic("unexpected pfrc (%d)\n", pfrc);
-
 
119
        }
-
 
120
    }
106
 
121
 
107
    /*
122
    /*
108
     * Record access to PTE.
123
     * Record access to PTE.
109
     */
124
     */
110
    pte->a = 1;
125
    pte->a = 1;
Line 146... Line 161...
146
    tlb_index_t index;
161
    tlb_index_t index;
147
    __address badvaddr;
162
    __address badvaddr;
148
    entry_lo_t lo;
163
    entry_lo_t lo;
149
    entry_hi_t hi;
164
    entry_hi_t hi;
150
    pte_t *pte;
165
    pte_t *pte;
-
 
166
    int pfrc;
151
 
167
 
152
    badvaddr = cp0_badvaddr_read();
168
    badvaddr = cp0_badvaddr_read();
153
 
169
 
154
    /*
170
    /*
155
     * Locate the faulting entry in TLB.
171
     * Locate the faulting entry in TLB.
Line 168... Line 184...
168
    if (index.p) {
184
    if (index.p) {
169
        printf("TLB entry not found.\n");
185
        printf("TLB entry not found.\n");
170
        goto fail;
186
        goto fail;
171
    }
187
    }
172
 
188
 
173
    pte = find_mapping_and_check(badvaddr);
189
    pte = find_mapping_and_check(badvaddr, istate, &pfrc);
174
    if (!pte)
190
    if (!pte) {
-
 
191
        switch (pfrc) {
-
 
192
        case AS_PF_FAULT:
175
        goto fail;
193
            goto fail;
-
 
194
            break;
-
 
195
        case AS_PF_DEFER:
-
 
196
            /*
-
 
197
             * The page fault came during copy_from_uspace()
-
 
198
             * or copy_to_uspace().
-
 
199
             */
-
 
200
            page_table_unlock(AS, true);             
-
 
201
            return;
-
 
202
        default:
-
 
203
            panic("unexpected pfrc (%d)\n", pfrc);
-
 
204
        }
-
 
205
    }
176
 
206
 
177
    /*
207
    /*
178
     * Read the faulting TLB entry.
208
     * Read the faulting TLB entry.
179
     */
209
     */
180
    tlbr();
210
    tlbr();
Line 215... Line 245...
215
    tlb_index_t index;
245
    tlb_index_t index;
216
    __address badvaddr;
246
    __address badvaddr;
217
    entry_lo_t lo;
247
    entry_lo_t lo;
218
    entry_hi_t hi;
248
    entry_hi_t hi;
219
    pte_t *pte;
249
    pte_t *pte;
-
 
250
    int pfrc;
220
 
251
 
221
    badvaddr = cp0_badvaddr_read();
252
    badvaddr = cp0_badvaddr_read();
222
 
253
 
223
    /*
254
    /*
224
     * Locate the faulting entry in TLB.
255
     * Locate the faulting entry in TLB.
Line 237... Line 268...
237
    if (index.p) {
268
    if (index.p) {
238
        printf("TLB entry not found.\n");
269
        printf("TLB entry not found.\n");
239
        goto fail;
270
        goto fail;
240
    }
271
    }
241
 
272
 
242
    pte = find_mapping_and_check(badvaddr);
273
    pte = find_mapping_and_check(badvaddr, istate, &pfrc);
243
    if (!pte)
274
    if (!pte) {
-
 
275
        switch (pfrc) {
-
 
276
        case AS_PF_FAULT:
244
        goto fail;
277
            goto fail;
-
 
278
            break;
-
 
279
        case AS_PF_DEFER:
-
 
280
            /*
-
 
281
             * The page fault came during copy_from_uspace()
-
 
282
             * or copy_to_uspace().
-
 
283
             */
-
 
284
            page_table_unlock(AS, true);             
-
 
285
            return;
-
 
286
        default:
-
 
287
            panic("unexpected pfrc (%d)\n", pfrc);
-
 
288
        }
-
 
289
    }
245
 
290
 
246
    /*
291
    /*
247
     * Fail if the page is not writable.
292
     * Fail if the page is not writable.
248
     */
293
     */
249
    if (!pte->w)
294
    if (!pte->w)
Line 319... Line 364...
319
 *
364
 *
320
 * Try to find PTE for faulting address.
365
 * Try to find PTE for faulting address.
321
 * The AS->lock must be held on entry to this function.
366
 * The AS->lock must be held on entry to this function.
322
 *
367
 *
323
 * @param badvaddr Faulting virtual address.
368
 * @param badvaddr Faulting virtual address.
-
 
369
 * @param istate Pointer to interrupted state.
-
 
370
 * @param pfrc Pointer to variable where as_page_fault() return code will be stored.
324
 *
371
 *
325
 * @return PTE on success, NULL otherwise.
372
 * @return PTE on success, NULL otherwise.
326
 */
373
 */
327
pte_t *find_mapping_and_check(__address badvaddr)
374
pte_t *find_mapping_and_check(__address badvaddr, istate_t *istate, int *pfrc)
328
{
375
{
329
    entry_hi_t hi;
376
    entry_hi_t hi;
330
    pte_t *pte;
377
    pte_t *pte;
331
 
378
 
332
    hi.value = cp0_entry_hi_read();
379
    hi.value = cp0_entry_hi_read();
Line 348... Line 395...
348
         * Mapping found in page tables.
395
         * Mapping found in page tables.
349
         * Immediately succeed.
396
         * Immediately succeed.
350
         */
397
         */
351
        return pte;
398
        return pte;
352
    } else {
399
    } else {
-
 
400
        int rc;
-
 
401
       
353
        /*
402
        /*
354
         * Mapping not found in page tables.
403
         * Mapping not found in page tables.
355
         * Resort to higher-level page fault handler.
404
         * Resort to higher-level page fault handler.
356
         */
405
         */
357
        page_table_unlock(AS, true);
406
        page_table_unlock(AS, true);
358
        if (as_page_fault(badvaddr)) {
407
        switch (rc = as_page_fault(badvaddr, istate)) {
-
 
408
        case AS_PF_OK:
359
            /*
409
            /*
360
             * The higher-level page fault handler succeeded,
410
             * The higher-level page fault handler succeeded,
361
             * The mapping ought to be in place.
411
             * The mapping ought to be in place.
362
             */
412
             */
363
            page_table_lock(AS, true);
413
            page_table_lock(AS, true);
364
            pte = page_mapping_find(AS, badvaddr);
414
            pte = page_mapping_find(AS, badvaddr);
365
            ASSERT(pte && pte->p);
415
            ASSERT(pte && pte->p);
366
            return pte;
416
            return pte;
-
 
417
            break;
-
 
418
        case AS_PF_DEFER:
-
 
419
            page_table_lock(AS, true);
-
 
420
            *pfrc = AS_PF_DEFER;
-
 
421
            return NULL;
367
        } else {
422
            break;
-
 
423
        case AS_PF_FAULT:
368
            page_table_lock(AS, true);
424
            page_table_lock(AS, true);
369
            printf("Page fault.\n");
425
            printf("Page fault.\n");
-
 
426
            *pfrc = AS_PF_FAULT;
370
            return NULL;
427
            return NULL;
-
 
428
            break;
-
 
429
        default:
-
 
430
            panic("unexpected rc (%d)\n", rc);
371
        }
431
        }
372
       
432
       
373
    }
433
    }
374
}
434
}
375
 
435