Page MenuHomeFreeBSD
Files F170098021

D17626.id49350.diff
No OneTemporary
Actions

D17626.id49350.diff
View Options

Index: sys/amd64/amd64/pmap.c
===================================================================
--- sys/amd64/amd64/pmap.c
+++ sys/amd64/amd64/pmap.c
@@ -5060,6 +5060,8 @@
pv = pmap_pvh_remove(&om->md, pmap, va);
if ((newpte & PG_MANAGED) == 0)
free_pv_entry(pmap, pv);
+ KASSERT((origpte & PG_MANAGED) == 0 || pv != NULL,
+ ("pmap_enter: no PV entry for %#lx", va));
if ((om->aflags & PGA_WRITEABLE) != 0 &&
TAILQ_EMPTY(&om->md.pv_list) &&
((om->flags & PG_FICTITIOUS) != 0 ||
Index: sys/i386/i386/pmap.c
===================================================================
--- sys/i386/i386/pmap.c
+++ sys/i386/i386/pmap.c
@@ -3822,6 +3822,8 @@
pv = pmap_pvh_remove(&om->md, pmap, va);
if ((newpte & PG_MANAGED) == 0)
free_pv_entry(pmap, pv);
+ KASSERT((origpte & PG_MANAGED) == 0 || pv != NULL,
+ ("pmap_enter: no PV entry for %#x", va));
if ((om->aflags & PGA_WRITEABLE) != 0 &&
TAILQ_EMPTY(&om->md.pv_list) &&
((om->flags & PG_FICTITIOUS) != 0 ||

File Metadata

Mime Type
text/plain
Expires
Fri, Sep 4, 12:25 PM (10 h, 25 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
38234066
Default Alt Text
D17626.id49350.diff (1 KB)

Event Timeline