-#if MACH_KDB
-
-extern void db_i386_state(x86_saved_state32_t *regs);
-
-#include <ddb/db_output.h>
-
-void
-db_i386_state(
- x86_saved_state32_t *regs)
-{
- db_printf("eip %8x\n", regs->eip);
- db_printf("trap %8x\n", regs->trapno);
- db_printf("err %8x\n", regs->err);
- db_printf("efl %8x\n", regs->efl);
- db_printf("ebp %8x\n", regs->ebp);
- db_printf("esp %8x\n", regs->cr2);
- db_printf("uesp %8x\n", regs->uesp);
- db_printf("cs %8x\n", regs->cs & 0xff);
- db_printf("ds %8x\n", regs->ds & 0xff);
- db_printf("es %8x\n", regs->es & 0xff);
- db_printf("fs %8x\n", regs->fs & 0xff);
- db_printf("gs %8x\n", regs->gs & 0xff);
- db_printf("ss %8x\n", regs->ss & 0xff);
- db_printf("eax %8x\n", regs->eax);
- db_printf("ebx %8x\n", regs->ebx);
- db_printf("ecx %8x\n", regs->ecx);
- db_printf("edx %8x\n", regs->edx);
- db_printf("esi %8x\n", regs->esi);
- db_printf("edi %8x\n", regs->edi);
-}
-
-#endif /* MACH_KDB */
-