void bmk_cpu_sched_create(struct bmk_thread *, struct bmk_tcb *,
void (*)(void *), void *,
void *, unsigned long);
-void bmk_cpu_sched_switch(struct bmk_tcb *, struct bmk_tcb *);
void bmk_sched_set_hook(void (*)(void *, void *));
struct bmk_thread *bmk_sched_init_mainlwp(void *);
/* XXX: coming up with better names considered useful */
void bmk_cpu_sched_bouncer(void);
-void bmk_cpu_switch(struct bmk_tcb *, struct bmk_tcb *);
void bmk__cpu_switch(void *, void *);
+void bmk_platform_cpu_sched_switch(struct bmk_tcb *, struct bmk_tcb *);
+
#endif /* _BMK_CORE_SCHED_H_ */
}
void
-bmk_cpu_sched_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
+bmk_platform_cpu_sched_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
{
adjustgs(next->btcb_tp, next->btcb_tpsize);
if (scheduler_hook)
scheduler_hook(prev->bt_cookie, next->bt_cookie);
- bmk_cpu_sched_switch(&prev->bt_tcb, &next->bt_tcb);
+ bmk_platform_cpu_sched_switch(&prev->bt_tcb, &next->bt_tcb);
}
struct bmk_thread *
extern void _minios_entry_thread_starter(void);
void
-bmk_cpu_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
+bmk_platform_cpu_sched_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
{
/* XXX: TLS is available only on x86_64 currently */
if (scheduler_hook)
scheduler_hook(prev->bt_cookie, next->bt_cookie);
- bmk_cpu_switch(&prev->bt_tcb, &next->bt_tcb);
+ bmk_platform_cpu_sched_switch(&prev->bt_tcb, &next->bt_tcb);
}
struct bmk_thread *