X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=util%2Fvgabios%2Fhelper_exec.c;h=73100d96f3c90346ae2c76932fcbe438cf6e68db;hb=36ade67007e0e93fb36a982f87e91bf12e2ed869;hp=ee03f4eca3a11663f90886b0195c980617901ea3;hpb=815212652994a43d3e05dc864343b722b70a129d;p=coreboot.git

diff --git a/util/vgabios/helper_exec.c b/util/vgabios/helper_exec.c
index ee03f4eca..73100d96f 100644
--- a/util/vgabios/helper_exec.c
+++ b/util/vgabios/helper_exec.c
@@ -14,10 +14,13 @@
  * in xf86EnableIO(). Otherwise we won't trap
  * on PIO.
  */
-#include <x86emu.h>
+#include <x86emu/x86emu.h>
+#include "helper_exec.h"
 #include "test.h"
-#include <asm/io.h>
+#include <sys/io.h>
 #include <sys/time.h>
+#include <stdio.h>
+
 
 int port_rep_inb(u16 port, u32 base, int d_f, u32 count);
 u8 x_inb(u16 port);
@@ -50,8 +53,8 @@ int run_bios_int(int num)
 	X86_CS = MEM_RW((num << 2) + 2);
 	X86_IP = MEM_RW(num << 2);
 
-	//printf("%s: INT %x CS:IP = %x:%x\n", __FUNCTION__,
-	//       num, MEM_RW((num << 2) + 2), MEM_RW(num << 2));
+	printf("%s: INT %x CS:IP = %x:%x\n", __FUNCTION__,
+	       num, MEM_RW((num << 2) + 2), MEM_RW(num << 2));
 
 	return 1;
 }
@@ -128,7 +131,7 @@ u8 x_inb(u16 port)
 
 	val = inb(port);
 
-	//printf("inb(0x%04x) = 0x%02x\n", port, val);
+	printf("inb(0x%04x) = 0x%02x\n", port, val);
 
 	return val;
 }
@@ -139,7 +142,7 @@ u16 x_inw(u16 port)
 
 	val = inw(port);
 
-	//printf("inw(0x%04x) = 0x%04x\n", port, val);
+	printf("inw(0x%04x) = 0x%04x\n", port, val);
 	return val;
 }
 
@@ -149,25 +152,26 @@ u32 x_inl(u16 port)
 
 	val = inl(port);
 
-	//printf("inl(0x%04x) = 0x%08x\n", port, val);
+	printf("inl(0x%04x) = 0x%08x\n", port, val);
 	return val;
 }
 
 void x_outb(u16 port, u8 val)
 {
-	//printf("outb(0x%02x, 0x%04x)\n", val, port);
+	printf("outb(0x%02x, 0x%04x)\n",
+		 val, port);
 	outb(val, port);
 }
 
 void x_outw(u16 port, u16 val)
 {
-	//printf("outw(0x%04x, 0x%04x)\n", val, port);
+	printf("outw(0x%04x, 0x%04x)\n", val, port);
 	outw(val, port);
 }
 
 void x_outl(u16 port, u32 val)
 {
-	//printf("outl(0x%08x, 0x%04x)\n", val, port);
+	printf("outl(0x%08x, 0x%04x)\n", val, port);
 	outl(val, port);
 }