core/debug.c

   1 #include "core.h"
   2 #include <dprintf.h>
   3
   4 void pm_debug_msg(com32sys_t *regs)
   5 {
   6     (void)regs;                 /* For the non-DEBUG configuration */
   7
   8     dprintf("%s\n", MK_PTR(0, regs->eax.w[0]));
   9 }