- First stab at getting the ppc ports building and working.
[coreboot.git] / src / arch / i386 / lib / exception.c
index 86edccbdd20d7a228534d52959d65fc5d395aee8..5f0c4e0563e64fa152cd3142250961b368a6a5e3 100644 (file)
@@ -420,7 +420,7 @@ void x86_exception(struct eregs *info)
                        if (    parse_ulong(&ptr, &addr) && 
                                (*ptr++ == ',') &&
                                parse_ulong(&ptr, &length)) {
-                               copy_to_hex(out_buffer, addr, length);
+                               copy_to_hex(out_buffer, (void *)addr, length);
                        } else {
                                memcpy(out_buffer, "E01", 4);
                        }