+extern void hid5set64(
+ uint64_t);
+
+extern void Load_context(
+ thread_t th);
+
+extern thread_t Switch_context(
+ thread_t old,
+ void (*cont)(void),
+ thread_t new);
+
+extern void fpu_save(
+ struct facility_context *fpu_fc);
+
+extern void vec_save(
+ struct facility_context *vec_fc);
+
+extern void toss_live_fpu(
+ struct facility_context *fpu_fc);
+
+extern void toss_live_vec(
+ struct facility_context *vec_fc);
+
+extern struct savearea *enterDebugger(
+ unsigned int trap,
+ struct savearea *state,
+ unsigned int dsisr);
+
+extern void draw_panic_dialog(
+ void);