# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1657014398 -32400
# Node ID 53b6746a423b0e5e496eb3d30a2a484f9b4ca523
# Parent  08564b4a4260ab38820c149b21670dce62f8df9a
...

diff -r 08564b4a4260 -r 53b6746a423b src/defs.h
--- a/src/defs.h	Tue Jul 05 18:42:33 2022 +0900
+++ b/src/defs.h	Tue Jul 05 18:46:38 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 uint *, struct spinlock*);
 void            userinit(void);
 int             wait(void);
-void            wakeup(void *);
+void            wakeup(volatile uint *);
 void            yield(void);
 
 // swtch.S