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

diff -r 53b6746a423b -r 735c804f890e src/defs.h
--- a/src/defs.h	Tue Jul 05 18:46:38 2022 +0900
+++ b/src/defs.h	Thu Jul 07 15:38:55 2022 +0900
@@ -131,10 +131,10 @@
 void            procdump(void);
 void            scheduler(void) __attribute__((noreturn));
 void            sched(void);
-void            sleep(volatile uint *, struct spinlock*);
+void            sleep(struct buf *, struct spinlock*);
 void            userinit(void);
 int             wait(void);
-void            wakeup(volatile uint *);
+void            wakeup(struct buf *);
 void            yield(void);
 
 // swtch.S