|
|
| version 1.19, 2012/01/08 07:45:08 | version 1.20, 2012/01/08 08:02:38 |
|---|---|
| Line 101 put_cpuinfo(void) | Line 101 put_cpuinfo(void) |
| #endif | #endif |
| strcat(buf, a20str()); | strcat(buf, a20str()); |
| printf(buf); | printf("%s", buf); |
| } | } |
| void | void |
| Line 115 dbg_printf(const char *str, ...) | Line 115 dbg_printf(const char *str, ...) |
| va_end(ap); | va_end(ap); |
| strcat(buf, "\n"); | strcat(buf, "\n"); |
| printf(buf); | printf("%s", buf); |
| } | } |
| void | void |