Subversion Repositories HelenOS

Rev

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

Rev 4339 Rev 4343
Line 39... Line 39...
39 
#include <mm/as.h>
 39 
#include <mm/as.h>
40 
#include <arch/cp0.h>
 40 
#include <arch/cp0.h>
41 
#include <panic.h>
 41 
#include <panic.h>
42 
#include <arch.h>
 42 
#include <arch.h>
43 
#include <symtab.h>
 43 
#include <symtab.h>
44 
#include <synch/spinlock.h>
 44 
#include <synch/mutex.h>
45 
#include <print.h>
 45 
#include <print.h>
46 
#include <debug.h>
 46 
#include <debug.h>
47 
#include <align.h>
 47 
#include <align.h>
48 
#include <interrupt.h>
 48 
#include <interrupt.h>
49 
 
 49 
 
Line 93... Line 93...
93 
    pte_t *pte;
 93 
    pte_t *pte;
94 
    int pfrc;
 94 
    int pfrc;
95 
 
 95 
   
96 
    badvaddr = cp0_badvaddr_read();
 96 
    badvaddr = cp0_badvaddr_read();
97 
 
 97 
   
98 
    spinlock_lock(&AS->lock);
 98 
    mutex_lock(&AS->lock);
99 
    asid = AS->asid;
 99 
    asid = AS->asid;
100 
    spinlock_unlock(&AS->lock);
 100 
    mutex_unlock(&AS->lock);
101 
 
 101 
   
102 
    page_table_lock(AS, true);
 102 
    page_table_lock(AS, true);
103 
 
 103 
   
104 
    pte = find_mapping_and_check(badvaddr, PF_ACCESS_READ, istate, &pfrc);
 104 
    pte = find_mapping_and_check(badvaddr, PF_ACCESS_READ, istate, &pfrc);
105 
    if (!pte) {
 105 
    if (!pte) {