diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2001-01-24 13:10:17 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2001-01-24 13:10:17 +0000 |
| commit | c2e9063250cb6fe14df05652c51e4a7df4d984af (patch) | |
| tree | 0b4e6d028be8e41ecd381bf9f9d7ba53b8fc4eb9 | |
| parent | 5b2b5af8e38b82e6932de47d021b9aef6b1a9a54 (diff) | |
Notes
| -rw-r--r-- | sys/alpha/alpha/pmap.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sys/alpha/alpha/pmap.c b/sys/alpha/alpha/pmap.c index a57bf3e28c87..0a8fc4d5b163 100644 --- a/sys/alpha/alpha/pmap.c +++ b/sys/alpha/alpha/pmap.c @@ -2843,8 +2843,8 @@ pmap_emulate_reference(struct proc *p, vm_offset_t v, int user, int write) panic("pmap_emulate_reference: user ref to kernel"); pte = vtopte(v); } else { - KASSERT(p == NULL, ("pmap_emulate_reference: bad proc")); - KASSERT(p->p_vmspace == NULL, ("pmap_emulate_reference: bad p_vmspace")); + KASSERT(p != NULL, ("pmap_emulate_reference: bad proc")); + KASSERT(p->p_vmspace != NULL, ("pmap_emulate_reference: bad p_vmspace")); pte = pmap_lev3pte(p->p_vmspace->vm_map.pmap, v); } #ifdef DEBUG /* These checks are more expensive */ @@ -2872,7 +2872,8 @@ pmap_emulate_reference(struct proc *p, vm_offset_t v, int user, int write) #endif pa = pmap_pte_pa(pte); - KASSERT((*pte & PG_MANAGED) == 0, ("pmap_emulate_reference(%p, 0x%lx, %d, %d): pa 0x%lx not managed", + KASSERT((*pte & PG_MANAGED) != 0, + ("pmap_emulate_reference(%p, 0x%lx, %d, %d): pa 0x%lx not managed", p, v, user, write, pa)); /* |