is - no more getlocktimings.

diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index dfe123d3b6b8c4067acb0c011ab0160a52e3f265..0c4c4d147868e8e1fa73b7c9309e192e94a2f09d 100644 (file)
--- 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 56ab425be31cd87ee96b8f02ca947f49f942e14d..87eb3f538fc9686b2f74f18cf875f619f7ef6339 100644 (file)
--- 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 fbc531869458fe04aac053e2bde7b8597d61cfb3..eb2bc0f74fb6231048d73c10e428e47d78dd508d 100644 (file)
--- 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)                                     );