you need to include ddb/db_output.h so you know how to call db_printf

inside MP_LOCKDEBUG.

diff --git a/sys/arch/amd64/amd64/lock_machdep.c b/sys/arch/amd64/amd64/lock_machdep.c
index a8e9946..5d15d2b 100644 (file)
--- a/sys/arch/amd64/amd64/lock_machdep.c
+++ b/sys/arch/amd64/amd64/lock_machdep.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: lock_machdep.c,v 1.8 2015/03/14 03:38:46 jsg Exp $    */
+/*     $OpenBSD: lock_machdep.c,v 1.9 2015/06/25 00:58:49 dlg Exp $    */
 
 /*
  * Copyright (c) 2007 Artur Grabowski <art@openbsd.org>
@@ -24,6 +24,8 @@
 #include <machine/lock.h>
 #include <machine/cpufunc.h>
 
+#include <ddb/db_output.h>
+
 void
 __mp_lock_init(struct __mp_lock *mpl)
 {