diff options
| author | peter <peter@FreeBSD.org> | 2001-12-11 01:17:40 +0000 |
|---|---|---|
| committer | peter <peter@FreeBSD.org> | 2001-12-11 01:17:40 +0000 |
| commit | c7282b9212c327c3a40b40d948d29eaed42c3f27 (patch) | |
| tree | 6e7998396617e2397e57e629fa963d7b2b393586 | |
| parent | 8c6afa35bea1a5ea8a94a3c60d1988999cb41bcc (diff) | |
| download | FreeBSD-src-c7282b9212c327c3a40b40d948d29eaed42c3f27.zip FreeBSD-src-c7282b9212c327c3a40b40d948d29eaed42c3f27.tar.gz | |
Delete some leftover code from a bygone age. We dont have an array of
IdlePTDS anymore and dont to the PTD[MPPTDI] swapping etc.
| -rw-r--r-- | sys/amd64/amd64/pmap.c | 12 | ||||
| -rw-r--r-- | sys/i386/i386/pmap.c | 12 |
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 |
