From c70ada642855c5fe118bf32b6c394582e569b6ec Mon Sep 17 00:00:00 2001
From: thorpej <thorpej@NetBSD.org>
Date: Tue, 8 Aug 2000 19:55:26 +0000
Subject: [PATCH] Fix printf format error pointed out by Steve Woodford.

---
 sys/kern/kern_lock.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/sys/kern/kern_lock.c b/sys/kern/kern_lock.c
index bf9eef43964f..65d726247a76 100644
--- a/sys/kern/kern_lock.c
+++ b/sys/kern/kern_lock.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: kern_lock.c,v 1.35 2000/08/07 22:10:53 thorpej Exp $	*/
+/*	$NetBSD: kern_lock.c,v 1.36 2000/08/08 19:55:26 thorpej Exp $	*/
 
 /*-
  * Copyright (c) 1999, 2000 The NetBSD Foundation, Inc.
@@ -102,7 +102,8 @@
  */
 #include <machine/stdarg.h>
 
-void	lock_printf(const char *fmt, ...);
+void	lock_printf(const char *fmt, ...)
+    __kprintf_attribute__((__format__(__kprintf__,1,2)));
 
 int	lock_debug_syslog = 0;	/* defaults to printf, but can be patched */
 #endif
@@ -973,7 +974,7 @@ simple_lock_switchcheck(void)
 	     alp = TAILQ_NEXT(alp, list)) {
 		if (alp->lock_holder == cpu_id) {
 			lock_printf("switching with held simple_lock %p "
-			    "CPU %lu %s:%s\n",
+			    "CPU %lu %s:%d\n",
 			    alp, alp->lock_holder, alp->lock_file,
 			    alp->lock_line);
 			SLOCK_DEBUGGER();