X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fcore%2Fao_task.c;h=18315b1fddcd625a0cde0de9e6a48156b4d8be2d;hb=a73b02518fcbc9fc0807ed8e141d3a06e8ad8214;hp=9cb074b5220a2c6279353d1b4ab5371be2dd5385;hpb=816c6b5d087694a9db9c34cc5ec7671a1487d9b9;p=fw%2Faltos

diff --git a/src/core/ao_task.c b/src/core/ao_task.c
index 9cb074b5..18315b1f 100644
--- a/src/core/ao_task.c
+++ b/src/core/ao_task.c
@@ -420,7 +420,7 @@ ao_sleep(__xdata void *wchan)
 }
 
 void
-ao_wakeup(__xdata void *wchan)
+ao_wakeup(__xdata void *wchan) __reentrant
 {
 #if HAS_TASK_QUEUE
 	struct ao_task	*sleep, *next;
@@ -512,6 +512,7 @@ ao_exit(void)
 	/* we'll never get back here */
 }
 
+#if HAS_TASK_INFO
 void
 ao_task_info(void)
 {
@@ -528,6 +529,7 @@ ao_task_info(void)
 	ao_task_validate();
 #endif
 }
+#endif
 
 void
 ao_start_scheduler(void)
@@ -536,5 +538,8 @@ ao_start_scheduler(void)
 	ao_cur_task_index = AO_NO_TASK_INDEX;
 #endif
 	ao_cur_task = NULL;
+#if HAS_ARCH_START_SCHEDULER
+	ao_arch_start_scheduler();
+#endif
 	ao_yield();
 }