1 files changed, 4 insertions, 2 deletions
diff --git a/inttool.c b/inttool.c
index 810f85a..891f820 100644
--- a/inttool.c
+++ b/inttool.c
@@ -23,6 +23,7 @@ version 2
 #include <errno.h>
 
 #include "lrmi.h"
+#include "x86emu.h"
 
 int do_int(unsigned pci_device)
 {
@@ -43,9 +44,10 @@ int do_int(unsigned pci_device)
 	r.edx = 0x80;
 	r.ds = 0x0040;
 
+	M.x86.debug = DEBUG_TRACE_F | DEBUG_DECODE_F;	/* x86emu debug flags */
+
 	if (!LRMI_call(&r)) {
-		fprintf(stderr,
-			"Error: something went wrong performing real mode call\n");
+		fprintf(stderr, "Error: something went wrong performing real mode call\n");
 		error = 1;
 	}