Page MenuHomeFreeBSD

D24828.id71779.diff
No OneTemporary

D24828.id71779.diff

Index: head/sys/amd64/amd64/pmap.c
===================================================================
--- head/sys/amd64/amd64/pmap.c
+++ head/sys/amd64/amd64/pmap.c
@@ -1317,6 +1317,8 @@
{
pd_entry_t *pde;
+ KASSERT((*pdpe & PG_PS) == 0,
+ ("%s: pdpe %#lx is a leaf", __func__, *pdpe));
pde = (pd_entry_t *)PHYS_TO_DMAP(*pdpe & PG_FRAME);
return (&pde[pmap_pde_index(va)]);
}
@@ -1341,6 +1343,8 @@
{
pt_entry_t *pte;
+ KASSERT((*pde & PG_PS) == 0,
+ ("%s: pde %#lx is a leaf", __func__, *pde));
pte = (pt_entry_t *)PHYS_TO_DMAP(*pde & PG_FRAME);
return (&pte[pmap_pte_index(va)]);
}

File Metadata

Mime Type
text/plain
Expires
Sun, Sep 13, 3:19 AM (3 h, 2 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
38830879
Default Alt Text
D24828.id71779.diff (613 B)

Event Timeline