*/
#include <debug.h>
-#include <mach_kdb.h>
#include <mach_kdp.h>
#include <platforms.h>
#include <mach/boolean.h>
cnputc(c);
}
-#if MACH_KDB
-extern void db_putchar(char c);
-#endif
-
-void
-dbugprintf(__unused const char *fmt, ...)
-{
-
-#if MACH_KDB
- va_list listp;
-
- va_start(listp, fmt);
- _doprnt(fmt, &listp, db_putchar, 16);
- va_end(listp);
-#endif
- return;
-}
-
int
printf(const char *fmt, ...)
{