--- np2/i386c/ia32/instructions/system_inst.c	2011/01/15 17:17:23	1.34
+++ np2/i386c/ia32/instructions/system_inst.c	2011/12/20 01:17:30	1.35
@@ -1041,6 +1041,7 @@ HLT(void)
 		EXCEPTION(GP_EXCEPTION, 0);
 	}
 
+	VERBOSE(("HLT: do HLT."));
 	CPU_HALT();
 	CPU_EIP = CPU_PREV_EIP;
 	CPU_STAT_HLT = 1;