diff options
-rw-r--r-- | extras/mini-os/Makefile | 3 | ||||
-rw-r--r-- | extras/mini-os/include/sched.h | 3 | ||||
-rw-r--r-- | extras/mini-os/include/wait.h | 10 |
3 files changed, 10 insertions, 6 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index ec24cba14a..7d57086c53 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -18,6 +18,9 @@ include minios.mk # Set tester flags # CFLAGS += -DBLKTEST_WRITE +# Make the headers define our internal stuff +CFLAGS += -D__MINIOS__ + # Define some default flags for linking. LDLIBS := APP_LDLIBS := diff --git a/extras/mini-os/include/sched.h b/extras/mini-os/include/sched.h index 3359439b55..62dc4a93c6 100644 --- a/extras/mini-os/include/sched.h +++ b/extras/mini-os/include/sched.h @@ -48,8 +48,9 @@ struct thread* create_thread(char *name, void (*function)(void *), void *data); void exit_thread(void) __attribute__((noreturn)); void schedule(void); +#ifdef __MINIOS__ #define current get_current() - +#endif void wake(struct thread *thread); void block(struct thread *thread); diff --git a/extras/mini-os/include/wait.h b/extras/mini-os/include/wait.h index 14e98ba755..10b9f29b07 100644 --- a/extras/mini-os/include/wait.h +++ b/extras/mini-os/include/wait.h @@ -7,7 +7,7 @@ #define DEFINE_WAIT(name) \ struct wait_queue name = { \ - .thread = current, \ + .thread = get_current(), \ .thread_list = MINIOS_LIST_HEAD_INIT((name).thread_list), \ } @@ -53,7 +53,7 @@ static inline void wake_up(struct wait_queue_head *head) unsigned long flags; \ local_irq_save(flags); \ add_wait_queue(&wq, &w); \ - block(current); \ + block(get_current()); \ local_irq_restore(flags); \ } while (0) @@ -74,8 +74,8 @@ static inline void wake_up(struct wait_queue_head *head) /* protect the list */ \ local_irq_save(flags); \ add_wait_queue(&wq, &__wait); \ - current->wakeup_time = deadline; \ - clear_runnable(current); \ + get_current()->wakeup_time = deadline; \ + clear_runnable(get_current()); \ local_irq_restore(flags); \ if((condition) || (deadline && NOW() >= deadline)) \ break; \ @@ -83,7 +83,7 @@ static inline void wake_up(struct wait_queue_head *head) } \ local_irq_save(flags); \ /* need to wake up */ \ - wake(current); \ + wake(get_current()); \ remove_wait_queue(&__wait); \ local_irq_restore(flags); \ } while(0) |