diff options
| author | cognet <cognet@FreeBSD.org> | 2006-12-01 12:29:55 +0000 |
|---|---|---|
| committer | cognet <cognet@FreeBSD.org> | 2006-12-01 12:29:55 +0000 |
| commit | 496475aa1fcaf80e41ef895679d1702beee213c3 (patch) | |
| tree | 66ea6aeaff1451db82b9d2c76f9c9b97d74b34c1 /sys/arm | |
| parent | 1882f43fde1647526b99ba6b6183b5f0b937a497 (diff) | |
| download | FreeBSD-src-496475aa1fcaf80e41ef895679d1702beee213c3.zip FreeBSD-src-496475aa1fcaf80e41ef895679d1702beee213c3.tar.gz | |
We can have no PV entry here if the previous mapping was unmanaged, and the new
one is unmanaged too, so update the KASSERT to reflect this.
Diffstat (limited to 'sys/arm')
| -rw-r--r-- | sys/arm/arm/pmap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/arm/arm/pmap.c b/sys/arm/arm/pmap.c index a1a25c0..b9cf668 100644 --- a/sys/arm/arm/pmap.c +++ b/sys/arm/arm/pmap.c @@ -3448,7 +3448,8 @@ do_l2b_alloc: else if (!pve && !(m->flags & (PG_UNMANAGED | PG_FICTITIOUS))) pve = pmap_get_pv_entry(); - KASSERT(pve != NULL, ("No pv")); + KASSERT(pve != NULL || m->flags & (PG_UNMANAGED | + PG_FICTITIOUS), ("No pv")); oflags = pve->pv_flags; /* |
