Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use 64-bit printf formats for paddr_t's (for arc port).

This commit is contained in:
thorpej 2000-11-09 06:02:40 +00:00
parent c1e8f10429
commit e654e96593
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
sys/arch/mips/mips/db_interface.c
View File

@ -1,4 +1,4 @@
/* $NetBSD: db_interface.c,v 1.33 2000/10/05 00:53:00 cgd Exp $ */ /* $NetBSD: db_interface.c,v 1.34 2000/11/09 06:02:40 thorpej Exp $ */
/* /*
* Mach Operating System * Mach Operating System
@ -386,9 +386,14 @@ db_kvtophys_cmd(addr, have_addr, count, modif)
{ {
if (!have_addr) if (!have_addr)
return; return;
if (MIPS_KSEG2_START <= addr) if (MIPS_KSEG2_START <= addr) {
db_printf("0x%lx -> 0x%lx\n", addr, kvtophys(addr)); /*
else * Cast the physical address -- some platforms, while
* being ILP32, may be using 64-bit paddr_t's.
*/
db_printf("0x%lx -> 0x%qx\n", addr,
(unsigned long long) kvtophys(addr));
} else
printf("not a kernel virtual address\n"); printf("not a kernel virtual address\n");
} }