diff options
| author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-15 09:33:01 +0000 |
|---|---|---|
| committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-15 09:33:01 +0000 |
| commit | 4aad88265bede002cb3e8a01bc6a8581c3424f6e (patch) | |
| tree | 509157021cc7617217339f9d2a293dec3796d4cc /extras/mini-os/include/sched.h | |
| parent | a4be7b6267be611349c5282363e00ae2847fc0ab (diff) | |
| download | xen-4aad88265bede002cb3e8a01bc6a8581c3424f6e.tar.gz xen-4aad88265bede002cb3e8a01bc6a8581c3424f6e.tar.bz2 xen-4aad88265bede002cb3e8a01bc6a8581c3424f6e.zip | |
[MINIOS] Add timer support.
Based on an original patch by Robert Kaiser.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/include/sched.h')
| -rw-r--r-- | extras/mini-os/include/sched.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/mini-os/include/sched.h b/extras/mini-os/include/sched.h index ce57be8a6c..058941a0a1 100644 --- a/extras/mini-os/include/sched.h +++ b/extras/mini-os/include/sched.h @@ -2,6 +2,7 @@ #define __SCHED_H__ #include <list.h> +#include <time.h> struct thread { @@ -11,6 +12,7 @@ struct thread unsigned long ip; /* Instruction pointer */ struct list_head thread_list; u32 flags; + s_time_t wakeup_time; }; @@ -36,5 +38,6 @@ static inline struct thread* get_current(void) void wake(struct thread *thread); void block(struct thread *thread); +void sleep(u32 millisecs); #endif /* __SCHED_H__ */ |