-extern int Bioskey();
-
-
-////
-//// Debug
-////
-
-extern bool dbg_show_mean;
-extern bool dbg_show_hit_rate;
-
-extern uint64_t dbg_cnt0;
-extern uint64_t dbg_cnt1;
+extern void timed_wait(WaitCondition*, Lock*, int);
+extern void prefetch(char* addr);