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