# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1657007435 -32400
# Node ID 4f068be78ce77a6825cbc27b86eb45973c25d27a
# Parent  16f496e8b85784a6e572cd215e4684686c2205ab
fix

diff -r 16f496e8b857 -r 4f068be78ce7 src/defs.h
--- a/src/defs.h	Sat Jun 22 13:19:06 2019 +0900
+++ b/src/defs.h	Tue Jul 05 16:50:35 2022 +0900
@@ -131,10 +131,10 @@
 void            procdump(void);
 void            scheduler(void) __attribute__((noreturn));
 void            sched(void);
-void            sleep(void*, struct spinlock*);
+void            sleep(volatile int*, struct spinlock*);
 void            userinit(void);
 int             wait(void);
-void            wakeup(void*);
+void            wakeup(volatile int*);
 void            yield(void);
 
 // swtch.S
diff -r 16f496e8b857 -r 4f068be78ce7 src/main.c
--- a/src/main.c	Sat Jun 22 13:19:06 2019 +0900
+++ b/src/main.c	Tue Jul 05 16:50:35 2022 +0900
@@ -37,7 +37,7 @@
     trap_init ();				// vector table and stacks for models
     pic_init (P2V(VIC_BASE));	// interrupt controller
     uart_enable_rx ();			// interrupt for uart
-    init_DWT();
+    // init_DWT();
     consoleinit ();				// console
     pinit ();					// process (locks)