Print all 64-bits of TTE data in db_pmap_kernel().

This commit is contained in:
eeh 2000-06-08 17:45:29 +00:00
parent 6baca0c1ad
commit 00e45ca869
1 changed files with 5 additions and 4 deletions

View File

@ -1,4 +1,4 @@
/* $NetBSD: db_interface.c,v 1.32 2000/05/25 19:57:35 jhawk Exp $ */
/* $NetBSD: db_interface.c,v 1.33 2000/06/08 17:45:29 eeh Exp $ */
/*
* Mach Operating System
@ -190,6 +190,7 @@ kdb_trap(type, tf)
OF_enter();
/*NOTREACHED*/
}
db_recover = 1;
}
/* Should switch to kdb`s own stack here. */
@ -416,7 +417,7 @@ db_pmap_kernel(addr, have_addr, count, modif)
{
extern struct pmap kernel_pmap_;
int i, j, full = 0;
int64_t data;
u_int64_t data;
{
register char c, *cp = modif;
@ -428,10 +429,10 @@ db_pmap_kernel(addr, have_addr, count, modif)
/* lookup an entry for this VA */
if ((data = pseg_get(&kernel_pmap_, (vaddr_t)addr))) {
db_printf("pmap_kernel(%p)->pm_segs[%lx][%lx][%lx]=>%lx\n",
db_printf("pmap_kernel(%p)->pm_segs[%lx][%lx][%lx]=>%qx\n",
(void *)addr, (u_long)va_to_seg(addr),
(u_long)va_to_dir(addr), (u_long)va_to_pte(addr),
(u_long)data);
(u_quad_t)data);
} else {
db_printf("No mapping for %p\n", addr);
}