diff options
author | Li-Ta Lo <ollie@lanl.gov> | 2005-01-11 03:18:39 +0000 |
---|---|---|
committer | Li-Ta Lo <ollie@lanl.gov> | 2005-01-11 03:18:39 +0000 |
commit | 8b0356c2c9136493f79d9faddbda1bfac7ca687e (patch) | |
tree | 87b1de0d55fec22946177cd4d7d73987fca346d5 /util/vgabios/helper_exec.c | |
parent | 3678ad8e38abee296221cd33e2cbc1e5181f715f (diff) | |
download | coreboot-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.c | 17 |
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); } |