+extern cpu_data_t* get_cpu_data(void);
+
+extern __inline__ thread_act_t current_act(void)
+{
+ thread_act_t act;
+ __asm__ volatile("mfsprg %0,1" : "=r" (act));
+ return act;
+}
+
+#define current_thread() current_act()->thread
+
+extern void set_machine_current_thread(thread_t);
+extern void set_machine_current_act(thread_act_t);
+