From 0a70e23d1dec8003010208a4739961b2aeff9132 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 4 Feb 2011 13:34:43 +0000
Subject: [PATCH] is - no more getlocktimings.

---
 servers/is/dmp.c        |  1 -
 servers/is/dmp_kernel.c | 35 -----------------------------------
 servers/is/proto.h      |  1 -
 3 files changed, 37 deletions(-)

diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index dfe123d3b..0c4c4d147 100644
--- a/servers/is/dmp.c
+++ b/servers/is/dmp.c
@@ -25,7 +25,6 @@ struct hook_entry {
 	{ F7,	kmessages_dmp, "Kernel messages" },
 	{ F8,	vm_dmp, "VM status and process maps" },
 	{ F10,	kenv_dmp, "Kernel parameters" },
-	{ F11,	timing_dmp, "Timing details (if enabled)" },
 	{ SF1,	mproc_dmp, "Process manager process table" },
 	{ SF2,	sigaction_dmp, "Signals" },
 	{ SF3,	fproc_dmp, "Filesystem process table" },
diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 56ab425be..87eb3f538 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -55,41 +55,6 @@ PUBLIC struct proc proc[NR_TASKS + NR_PROCS];
 PUBLIC struct priv priv[NR_SYS_PROCS];
 PUBLIC struct boot_image image[NR_BOOT_PROCS];
 
-/*===========================================================================*
- *				timing_dmp				     *
- *===========================================================================*/
-PUBLIC void timing_dmp()
-{
-  static struct util_timingdata timingdata[TIMING_CATEGORIES];
-  int r, c, x = 0;
-
-  if ((r = sys_getlocktimings(&timingdata[0])) != OK) {
-      printf("IS: warning: couldn't get copy of lock timings: %d\n", r);
-      return;
-  } 
-
-  for(c = 0; c < TIMING_CATEGORIES; c++) {
-	int b;
-	if (!timingdata[c].lock_timings_range[0] || !timingdata[c].binsize)
-		continue;
-	x = printf("%-*s: misses %lu, resets %lu, measurements %lu: ",
-	TIMING_NAME, timingdata[c].names,
-		timingdata[c].misses,
-		timingdata[c].resets,
-		timingdata[c].measurements);
-	for(b = 0; b < TIMING_POINTS; b++) {
-		int w;
-		if (!timingdata[c].lock_timings[b])
-			continue;
-		x += (w = printf(" %5lu: %5lu", timingdata[c].lock_timings_range[0] +
-			b*timingdata[c].binsize,
-			timingdata[c].lock_timings[b]));
-	 	if (x + w >= 80) { printf("\n"); x = 0; }
-	}
-  	if (x > 0) printf("\n");
-  }
-}
-
 /*===========================================================================*
  *				kmessages_dmp				     *
  *===========================================================================*/
diff --git a/servers/is/proto.h b/servers/is/proto.h
index fbc531869..eb2bc0f74 100644
--- a/servers/is/proto.h
+++ b/servers/is/proto.h
@@ -19,7 +19,6 @@ _PROTOTYPE( void irqtab_dmp, (void)					);
 _PROTOTYPE( void kmessages_dmp, (void)					);
 _PROTOTYPE( void monparams_dmp, (void)					);
 _PROTOTYPE( void kenv_dmp, (void)					);
-_PROTOTYPE( void timing_dmp, (void)					);
 
 /* dmp_pm.c */
 _PROTOTYPE( void mproc_dmp, (void)					);