summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--sys/amd64/amd64/pmap.c12
-rw-r--r--sys/i386/i386/pmap.c12
2 files changed, 2 insertions, 22 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c
index 39c6028..789c491 100644
--- a/sys/amd64/amd64/pmap.c
+++ b/sys/amd64/amd64/pmap.c
@@ -2155,19 +2155,9 @@ pmap_enter(pmap_t pmap, vm_offset_t va, vm_page_t m, vm_prot_t prot,
else {
pd_entry_t *pdeaddr = pmap_pde(pmap, va);
if (((origpte = *pdeaddr) & PG_V) == 0) {
- panic("pmap_enter: invalid kernel page table page(0), pdir=%p, pde=%p, va=%p\n",
+ panic("pmap_enter: invalid kernel page table page, pdir=%p, pde=%p, va=%p\n",
pmap->pm_pdir[PTDPTDI], origpte, va);
}
- if (smp_active) {
- pdeaddr = (vm_offset_t *) IdlePTDS[PCPU_GET(cpuid)];
- if (((newpte = pdeaddr[va >> PDRSHIFT]) & PG_V) == 0) {
- if ((vm_offset_t) my_idlePTD != (vm_offset_t) vtophys(pdeaddr))
- printf("pde mismatch: %x, %x\n", my_idlePTD, pdeaddr);
- printf("cpuid: %d, pdeaddr: 0x%x\n", PCPU_GET(cpuid), pdeaddr);
- panic("pmap_enter: invalid kernel page table page(1), pdir=%p, npde=%p, pde=%p, va=%p\n",
- pmap->pm_pdir[PTDPTDI], newpte, origpte, va);
- }
- }
}
#endif
diff --git a/sys/i386/i386/pmap.c b/sys/i386/i386/pmap.c
index 39c6028..789c491 100644
--- a/sys/i386/i386/pmap.c
+++ b/sys/i386/i386/pmap.c
@@ -2155,19 +2155,9 @@ pmap_enter(pmap_t pmap, vm_offset_t va, vm_page_t m, vm_prot_t prot,
else {
pd_entry_t *pdeaddr = pmap_pde(pmap, va);
if (((origpte = *pdeaddr) & PG_V) == 0) {
- panic("pmap_enter: invalid kernel page table page(0), pdir=%p, pde=%p, va=%p\n",
+ panic("pmap_enter: invalid kernel page table page, pdir=%p, pde=%p, va=%p\n",
pmap->pm_pdir[PTDPTDI], origpte, va);
}
- if (smp_active) {
- pdeaddr = (vm_offset_t *) IdlePTDS[PCPU_GET(cpuid)];
- if (((newpte = pdeaddr[va >> PDRSHIFT]) & PG_V) == 0) {
- if ((vm_offset_t) my_idlePTD != (vm_offset_t) vtophys(pdeaddr))
- printf("pde mismatch: %x, %x\n", my_idlePTD, pdeaddr);
- printf("cpuid: %d, pdeaddr: 0x%x\n", PCPU_GET(cpuid), pdeaddr);
- panic("pmap_enter: invalid kernel page table page(1), pdir=%p, npde=%p, pde=%p, va=%p\n",
- pmap->pm_pdir[PTDPTDI], newpte, origpte, va);
- }
- }
}
#endif
OpenPOWER on IntegriCloud