X86EMU_trace_regs
void X86EMU_trace_regs(void);
if (DEBUG_TRACE() || DEBUG_DECODE()) X86EMU_trace_regs()
X86EMU_trace_regs();
X86EMU_trace_regs();
printk("halted\n"); X86EMU_trace_regs();}