|
|
| version 1.19, 2012/01/08 07:45:08 | version 1.22, 2012/01/08 11:32:16 |
|---|---|
| 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 |
| Line 251 segdesc_dump(descriptor_t *sdp) | Line 251 segdesc_dump(descriptor_t *sdp) |
| __ASSERT(sdp != NULL); | __ASSERT(sdp != NULL); |
| VERBOSE(("\ndump descriptor: %p", sdp)); | VERBOSE(("dump descriptor: %p", sdp)); |
| VERBOSE(("valid : %s", SEG_IS_VALID(sdp) ? "true" : "false")); | VERBOSE(("valid : %s", SEG_IS_VALID(sdp) ? "true" : "false")); |
| VERBOSE(("present : %s", SEG_IS_PRESENT(sdp) ? "true" : "false")); | VERBOSE(("present : %s", SEG_IS_PRESENT(sdp) ? "true" : "false")); |
| Line 259 segdesc_dump(descriptor_t *sdp) | Line 259 segdesc_dump(descriptor_t *sdp) |
| VERBOSE(("kind : %s", SEG_IS_SYSTEM(sdp) ? "system" : "code/data")); | VERBOSE(("kind : %s", SEG_IS_SYSTEM(sdp) ? "system" : "code/data")); |
| if (!SEG_IS_SYSTEM(sdp)) { | if (!SEG_IS_SYSTEM(sdp)) { |
| if (SEG_IS_CODE(sdp)) { | if (SEG_IS_CODE(sdp)) { |
| VERBOSE(("type : %sconforming code", | VERBOSE(("type : %dbit %sconforming code", |
| SEG_IS_32BIT(sdp) ? 32 : 16, | |
| SEG_IS_CONFORMING_CODE(sdp) ? "" : "non-")); | SEG_IS_CONFORMING_CODE(sdp) ? "" : "non-")); |
| VERBOSE(("access : execute%s", | VERBOSE(("access : execute%s", |
| SEG_IS_READABLE_CODE(sdp) ? "/read" : "")); | SEG_IS_READABLE_CODE(sdp) ? "/read" : "")); |
| } else { | } else { |
| VERBOSE(("type : expand-%s data", | VERBOSE(("type : %dbit expand-%s data", |
| SEG_IS_32BIT(sdp) ? 32 : 16, | |
| SEG_IS_EXPANDDOWN_DATA(sdp) ? "down" : "up")); | SEG_IS_EXPANDDOWN_DATA(sdp) ? "down" : "up")); |
| VERBOSE(("access : read%s", | VERBOSE(("access : read%s", |
| SEG_IS_WRITABLE_DATA(sdp) ? "/write" : "")); | SEG_IS_WRITABLE_DATA(sdp) ? "/write" : "")); |