Module Name: src Committed By: christos Date: Thu Jun 15 18:15:53 UTC 2017
Modified Files: src/sys/arch/x86/x86: pmap.c Log Message: tidy up printf/kasserts; no functional change. To generate a diff of this commit: cvs rdiff -u -r1.250 -r1.251 src/sys/arch/x86/x86/pmap.c Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/sys/arch/x86/x86/pmap.c diff -u src/sys/arch/x86/x86/pmap.c:1.250 src/sys/arch/x86/x86/pmap.c:1.251 --- src/sys/arch/x86/x86/pmap.c:1.250 Thu Jun 15 09:42:55 2017 +++ src/sys/arch/x86/x86/pmap.c Thu Jun 15 14:15:53 2017 @@ -1,4 +1,4 @@ -/* $NetBSD: pmap.c,v 1.250 2017/06/15 13:42:55 maxv Exp $ */ +/* $NetBSD: pmap.c,v 1.251 2017/06/15 18:15:53 christos Exp $ */ /* * Copyright (c) 2008, 2010, 2016, 2017 The NetBSD Foundation, Inc. @@ -171,7 +171,7 @@ */ #include <sys/cdefs.h> -__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.250 2017/06/15 13:42:55 maxv Exp $"); +__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.251 2017/06/15 18:15:53 christos Exp $"); #include "opt_user_ldt.h" #include "opt_lockdebug.h" @@ -974,8 +974,8 @@ pmap_kenter_pa(vaddr_t va, paddr_t pa, v #ifdef DOM0OPS if (pa < pmap_pa_start || pa >= pmap_pa_end) { #ifdef DEBUG - printf_nolog("%s: pa 0x%" PRIx64 " for va 0x%" PRIx64 - " outside range\n", __func__, (int64_t)pa, (int64_t)va); + printf_nolog("%s: pa %#" PRIxPADDR " for va %#" PRIxVADDR + " outside range\n", __func__, pa, va); #endif /* DEBUG */ npte = pa; } else @@ -991,7 +991,7 @@ pmap_kenter_pa(vaddr_t va, paddr_t pa, v * be kentered. */ if (opte & PG_PS) - panic("%s: PG_PS", __func__); + panic("%s: PG_PS va=%#" PRIxVADDR, __func__, va); #endif if ((opte & (PG_V | PG_U)) == (PG_V | PG_U)) { /* This should not happen. */ @@ -1127,8 +1127,10 @@ pmap_kremove1(vaddr_t sva, vsize_t len, pmap_tlb_shootdown(pmap_kernel(), va, opte, TLBSHOOT_KREMOVE); } - KASSERT((opte & PG_PS) == 0); - KASSERT((opte & PG_PVLIST) == 0); + KASSERTMSG((opte & PG_PS) == 0, + "va %#" PRIxVADDR " is a large page", va); + KASSERTMSG((opte & PG_PVLIST) == 0, + "va %#" PRIxVADDR " is a pv tracked page", va); } if (localonly) { tlbflushg(); @@ -2422,7 +2424,7 @@ pmap_destroy(struct pmap *pmap) ci->ci_index, ci->ci_pmap, i, ci->ci_kpm_pdir[i], i, pmap->pm_pdir[i]); - panic("pmap_destroy: used pmap"); + panic("%s: used pmap", __func__); } } #endif @@ -2527,8 +2529,8 @@ pmap_fork(struct pmap *pmap1, struct pma new_ldt = (union descriptor *)uvm_km_alloc(kernel_map, len, 0, UVM_KMF_WIRED); if (new_ldt == NULL) { - printf("WARNING: pmap_fork: " - "unable to allocate LDT space\n"); + printf("WARNING: %s: unable to allocate LDT space\n", + __func__); return; } mutex_enter(&cpu_lock); @@ -2538,8 +2540,8 @@ pmap_fork(struct pmap *pmap1, struct pma mutex_exit(&cpu_lock); uvm_km_free(kernel_map, (vaddr_t)new_ldt, len, UVM_KMF_WIRED); - printf("WARNING: pmap_fork: " - "unable to allocate LDT selector\n"); + printf("WARNING: %s: unable to allocate LDT selector\n", + __func__); return; } } else { @@ -3392,8 +3394,8 @@ pmap_remove_pte(struct pmap *pmap, struc #if defined(DIAGNOSTIC) && !defined(DOM0OPS) if (PHYS_TO_VM_PAGE(pmap_pte2pa(opte)) != NULL || pmap_pv_tracked(pmap_pte2pa(opte)) != NULL) - panic("pmap_remove_pte: managed or pv-tracked page" - " without PG_PVLIST for %#"PRIxVADDR, va); + panic("%s: managed or pv-tracked page" + " without PG_PVLIST for %#"PRIxVADDR, __func__, va); #endif return true; } @@ -3403,10 +3405,9 @@ pmap_remove_pte(struct pmap *pmap, struc pp = VM_PAGE_TO_PP(pg); } else if ((pp = pmap_pv_tracked(pmap_pte2pa(opte))) == NULL) { paddr_t pa = pmap_pte2pa(opte); - panic("pmap_remove_pte: PG_PVLIST with pv-untracked page" - " va = 0x%"PRIxVADDR - " pa = 0x%"PRIxPADDR" (0x%"PRIxPADDR")", - va, pa, atop(pa)); + panic("%s: PG_PVLIST with pv-untracked page" + " va = %#"PRIxVADDR"pa = %#"PRIxPADDR" (%#"PRIxPADDR")", + __func__, va, pa, atop(pa)); } /* Sync R/M bits. */ @@ -3457,7 +3458,7 @@ pmap_remove(struct pmap *pmap, vaddr_t s if (pmap != pmap_kernel()) { ptp = pmap_find_ptp(pmap, va, ptppa, 1); KASSERTMSG(ptp != NULL, - "pmap_remove: unmanaged PTP detected"); + "%s: unmanaged PTP detected", __func__); } else { /* Never free kernel PTPs. */ ptp = NULL; @@ -3511,8 +3512,8 @@ pmap_remove(struct pmap *pmap, vaddr_t s /* Get PTP if non-kernel mapping. */ if (pmap != pmap_kernel()) { ptp = pmap_find_ptp(pmap, va, ptppa, 1); - KASSERTMSG(ptp != NULL, - "pmap_remove: unmanaged PTP detected"); + KASSERTMSG(ptp != NULL, "%s: unmanaged PTP detected", + __func__); } else { /* Never free kernel PTPs. */ ptp = NULL; @@ -3744,8 +3745,7 @@ pmap_pv_remove(paddr_t pa) pp = pmap_pv_tracked(pa); if (pp == NULL) - panic("pmap_pv_protect: page not pv-tracked: 0x%"PRIxPADDR, - pa); + panic("%s: page not pv-tracked: %#"PRIxPADDR, __func__, pa); pmap_pp_remove(pp, pa); } @@ -3865,8 +3865,7 @@ pmap_pv_clear_attrs(paddr_t pa, unsigned pp = pmap_pv_tracked(pa); if (pp == NULL) - panic("pmap_pv_protect: page not pv-tracked: 0x%"PRIxPADDR, - pa); + panic("%s: page not pv-tracked: %#"PRIxPADDR, __func__, pa); return pmap_pp_clear_attrs(pp, pa, clearbits); } @@ -4009,7 +4008,7 @@ pmap_unwire(struct pmap *pmap, vaddr_t v pmap_map_ptes(pmap, &pmap2, &ptes, &pdes); if (!pmap_pdes_valid(va, pdes, NULL)) { - panic("pmap_unwire: invalid PDE"); + panic("%s: invalid PDE va=%#" PRIxVADDR, __func__, va); } ptep = &ptes[pl1_i(va)]; @@ -4022,8 +4021,8 @@ pmap_unwire(struct pmap *pmap, vaddr_t v opte = pmap_pte_testset(ptep, npte); pmap_stats_update_bypte(pmap, npte, opte); } else { - printf("pmap_unwire: wiring for pmap %p va 0x%lx " - "did not change!\n", pmap, va); + printf("%s: wiring for pmap %p va %#" PRIxVADDR + "did not change!\n", __func__, pmap, va); } /* Release pmap. */ @@ -4077,11 +4076,11 @@ pmap_enter_ma(struct pmap *pmap, vaddr_t KASSERT(pmap_initialized); KASSERT(curlwp->l_md.md_gc_pmap != pmap); KASSERT(va < VM_MAX_KERNEL_ADDRESS); - KASSERTMSG(va != (vaddr_t)PDP_BASE, - "pmap_enter: trying to map over PDP!"); + KASSERTMSG(va != (vaddr_t)PDP_BASE, "%s: trying to map va=%#" + PRIxVADDR " over PDP!", __func__, va); KASSERTMSG(va < VM_MIN_KERNEL_ADDRESS || pmap_valid_entry(pmap->pm_pdir[pl_i(va, PTP_LEVELS)]), - "pmap_enter: missing kernel PTP for VA %lx!", va); + "%s: missing kernel PTP for va=%#" PRIxVADDR, __func__, va); #ifdef XEN KASSERT(domid == DOMID_SELF || pa == 0); @@ -4131,7 +4130,7 @@ pmap_enter_ma(struct pmap *pmap, vaddr_t error = ENOMEM; goto out2; } - panic("pmap_enter: pve allocation failed"); + panic("%s: pve allocation failed", __func__); } kpreempt_disable(); @@ -4146,7 +4145,7 @@ pmap_enter_ma(struct pmap *pmap, vaddr_t error = ENOMEM; goto out; } - panic("pmap_enter: get ptp failed"); + panic("%s: get ptp failed", __func__); } } @@ -4217,10 +4216,10 @@ pmap_enter_ma(struct pmap *pmap, vaddr_t } else if ((old_pp = pmap_pv_tracked(pmap_pte2pa(opte))) == NULL) { pa = pmap_pte2pa(opte); - panic("pmap_enter: PG_PVLIST with pv-untracked page" - " va = 0x%"PRIxVADDR - " pa = 0x%" PRIxPADDR " (0x%" PRIxPADDR ")", - va, pa, atop(pa)); + panic("%s: PG_PVLIST with pv-untracked page" + " va = %#"PRIxVADDR + " pa = %#" PRIxPADDR " (%#" PRIxPADDR ")", + __func__, va, pa, atop(pa)); } old_pve = pmap_remove_pv(old_pp, ptp, va); @@ -4279,7 +4278,7 @@ pmap_get_physpage(void) */ if (!uvm_page_physget(&pa)) - panic("pmap_get_physpage: out of memory"); + panic("%s: out of memory", __func__); #if defined(__HAVE_DIRECT_MAP) pagezero(PMAP_DIRECT_MAP(pa)); #else @@ -4306,7 +4305,7 @@ pmap_get_physpage(void) ptp = uvm_pagealloc(NULL, 0, NULL, UVM_PGA_USERESERVE|UVM_PGA_ZERO); if (ptp == NULL) - panic("pmap_get_physpage: out of memory"); + panic("%s: out of memory", __func__); ptp->flags &= ~PG_BUSY; ptp->wire_count = 1; pa = VM_PAGE_TO_PHYS(ptp);