-extern void dump_thread(thread_t th);
-#endif
-
-#if NCPUS > 1
-extern void mp_probe_cpus(void);
-#if MACH_KDB
-extern void remote_kdb(void);
-extern void clear_kdb_intr(void);
-extern void kdb_console(void);
-#endif /* MACH_KDB */
-#endif /* NCPUS > 1 */
+extern void dump_thread(
+ thread_t th);
+#endif /* MACH_ASSERT */
+
+/* XXX move to osfmk/ppc/debug.h or some other debug header */
+void print_backtrace(struct savearea *);
+int Call_Debugger(int, struct savearea *);
+int kdp_dump_trap(int, struct savearea *);
+void SysChoked(unsigned int, struct savearea *);
+int Call_DebuggerC(unsigned int, struct savearea *);
+void kdp_trap(unsigned int, struct savearea *);