From 5cbcc11ed3f09a0fbdce2569706afdf7607324d8 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Mon, 12 Jan 2009 22:14:43 +0000
Subject: [PATCH] compile fix for new lock timings

---
 servers/is/dmp_kernel.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 1a0b4987d..e3378c9f1 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -4,6 +4,7 @@
 #include <timers.h>
 #include <ibm/interrupt.h>
 #include <minix/endpoint.h>
+#include <minix/sysutil.h>
 #include <minix/sys_config.h>
 #include "../../kernel/const.h"
 #include "../../kernel/config.h"
@@ -36,7 +37,7 @@ PUBLIC struct boot_image image[NR_BOOT_PROCS];
  *===========================================================================*/
 PUBLIC void timing_dmp()
 {
-  static struct lock_timingdata timingdata[TIMING_CATEGORIES];
+  static struct util_timingdata timingdata[TIMING_CATEGORIES];
   int r, c, f, skipped = 0, printed = 0, maxlines = 23, x = 0;
   static int offsetlines = 0;
 
-- 
2.44.0