*/
#define DEBUG_ENABLE_IPC_WARNINGS 1
#define DEBUG_STACKTRACE 1
-#define DEBUG_TIME_LOCKS 1
/* Sanity checks. */
#define DEBUG_SANITYCHECKS 0
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 */
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;