* Machine support declarations.
*/
-extern void processor_up(
- processor_t processor);
+extern void processor_up(
+ processor_t processor);
-extern void processor_offline(
- processor_t processor);
-
-extern void processor_start_thread(void *machine_param);
+extern void processor_start_thread(void *machine_param,
+ wait_result_t result);
/*
* Must be implemented in machine dependent code.
uint32_t flags,
thread_t thread);
+#if CONFIG_THREAD_GROUPS
+extern void machine_thread_group_init(struct thread_group *tg);
+extern void machine_thread_group_deinit(struct thread_group *tg);
+extern void machine_thread_group_flags_update(struct thread_group *tg, uint32_t flags);
+extern void machine_thread_group_blocked(struct thread_group *tg_blocked, struct thread_group *tg_blocking, uint32_t flags, thread_t blocked_thread);
+extern void machine_thread_group_unblocked(struct thread_group *tg_unblocked, struct thread_group *tg_unblocking, uint32_t flags, thread_t unblocked_thread);
+#endif
#endif /* _KERN_MACHINE_H_ */