+ for (i = 0; i < ao_num_tasks; i++) {
+ pc_loc = ao_tasks[i]->stack_count - 17;
+ printf("%-8s: wchan %04x pc %04x\n",
+ ao_tasks[i]->name,
+ (int16_t) ao_tasks[i]->wchan,
+ (ao_tasks[i]->stack[pc_loc]) | (ao_tasks[i]->stack[pc_loc+1] << 8));
+ }
+}
+
+void
+ao_start_scheduler(void)
+{