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 } 10