kernel - doesn't do lock timings any more

kernel/debug.h

@@ -24,7 +24,6 @@
  */
 #define DEBUG_ENABLE_IPC_WARNINGS	1
 #define DEBUG_STACKTRACE		1
-#define DEBUG_TIME_LOCKS		1
 
 /* Sanity checks. */
 #define DEBUG_SANITYCHECKS		0

kernel/glo.h

@@ -69,9 +69,6 @@ EXTERN int config_no_smp; /* optionaly turn off SMP */
 EXTERN int vm_running;
 EXTERN int catch_pagefaults;
 
-/* Timing */
-EXTERN util_timingdata_t timingdata[TIMING_CATEGORIES];
-
 /* Variables that are initialized elsewhere are just extern here. */
 extern struct boot_image image[]; 	/* system image processes */
 extern struct segdesc_s gdt[];		/* global descriptor table */

kernel/system/do_getinfo.c

@@ -161,13 +161,6 @@ PUBLIC int do_getinfo(struct proc * caller, message * m_ptr)
         src_vir = (vir_bytes) &kmess;
         break;
     }
-#if DEBUG_TIME_LOCKS
-    case GET_LOCKTIMING: {
-    length = sizeof(timingdata);
-    src_vir = (vir_bytes) timingdata;
-    break;
-    }
-#endif
     case GET_IRQACTIDS: {
         length = sizeof(irq_actids);
         src_vir = (vir_bytes) irq_actids;