Make 32bit kernels compilable

This commit is contained in:
martin 2012-03-25 13:44:04 +00:00
parent 8ec4451998
commit c61dd382be

View File

@ -1,4 +1,4 @@
/* $NetBSD: trap.c,v 1.172 2012/03/25 01:41:03 mrg Exp $ */
/* $NetBSD: trap.c,v 1.173 2012/03/25 13:44:04 martin Exp $ */
/*
* Copyright (c) 1996-2002 Eduardo Horvath. All rights reserved.
@ -50,7 +50,7 @@
*/
#include <sys/cdefs.h>
__KERNEL_RCSID(0, "$NetBSD: trap.c,v 1.172 2012/03/25 01:41:03 mrg Exp $");
__KERNEL_RCSID(0, "$NetBSD: trap.c,v 1.173 2012/03/25 13:44:04 martin Exp $");
#include "opt_ddb.h"
#include "opt_multiprocessor.h"
@ -1158,7 +1158,7 @@ kfault:
/* Disable traptrace for printf */
trap_trace_dis = 1;
(void) splhigh();
printf("cpu%d: data fault: pc=%lx rpc=%lx addr=%lx\n",
printf("cpu%d: data fault: pc=%lx rpc=%"PRIu64" addr=%lx\n",
cpu_number(), pc, tf->tf_in[7], addr);
DEBUGGER(type, tf);
panic("kernel fault");