allow empty senda

This commit is contained in:
Ben Gras
2009-06-08 04:39:26 +00:00
parent 9e72241374
commit 782133423e
2 changed files with 15 additions and 9 deletions

View File

@@ -44,7 +44,11 @@ void pagefault(vir_bytes old_eip, struct proc *pr, int trap_errno,
vmassert(pr->p_seg.p_cr3 == read_cr3());
} else {
u32_t cr3;
lock;
int u = 0;
if(!intr_disabled()) {
lock;
u = 1;
}
cr3 = read_cr3();
vmassert(ptproc);
if(ptproc->p_seg.p_cr3 != cr3) {
@@ -58,7 +62,9 @@ void pagefault(vir_bytes old_eip, struct proc *pr, int trap_errno,
vm_print(cr3);
vm_print(ptproc->p_seg.p_cr3);
}
unlock;
if(u) {
unlock;
}
}
test_eip = k_reenter ? old_eip : pr->p_reg.pc;