changeset 15:08564b4a4260

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 05 Jul 2022 18:42:33 +0900
parents 4f068be78ce7
children 53b6746a423b
files src/defs.h
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/defs.h	Tue Jul 05 16:50:35 2022 +0900
+++ b/src/defs.h	Tue Jul 05 18:42:33 2022 +0900
@@ -131,10 +131,10 @@
 void            procdump(void);
 void            scheduler(void) __attribute__((noreturn));
 void            sched(void);
-void            sleep(volatile int*, struct spinlock*);
+void            sleep(void *, struct spinlock*);
 void            userinit(void);
 int             wait(void);
-void            wakeup(volatile int*);
+void            wakeup(void *);
 void            yield(void);
 
 // swtch.S