summaryrefslogtreecommitdiff
path: root/util/vgabios/helper_exec.c
diff options
context:
space:
mode:
authorLi-Ta Lo <ollie@lanl.gov>2005-01-11 03:18:39 +0000
committerLi-Ta Lo <ollie@lanl.gov>2005-01-11 03:18:39 +0000
commit8b0356c2c9136493f79d9faddbda1bfac7ca687e (patch)
tree87b1de0d55fec22946177cd4d7d73987fca346d5 /util/vgabios/helper_exec.c
parent3678ad8e38abee296221cd33e2cbc1e5181f715f (diff)
downloadcoreboot-8b0356c2c9136493f79d9faddbda1bfac7ca687e.tar.xz
use Paulo's reduced version
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1853 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
Diffstat (limited to 'util/vgabios/helper_exec.c')
-rw-r--r--util/vgabios/helper_exec.c17
1 files changed, 9 insertions, 8 deletions
diff --git a/util/vgabios/helper_exec.c b/util/vgabios/helper_exec.c
index ee03f4eca3..8d18798c40 100644
--- a/util/vgabios/helper_exec.c
+++ b/util/vgabios/helper_exec.c
@@ -50,8 +50,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 +128,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 +139,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 +149,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);
}