|
|
| version 1.5, 2004/01/07 06:53:48 | version 1.6, 2004/01/13 16:34:19 |
|---|---|
| Line 201 ia32_interrupt(BYTE vect) | Line 201 ia32_interrupt(BYTE vect) |
| void | void |
| ia32_panic(const char *str, ...) | ia32_panic(const char *str, ...) |
| { | { |
| extern char *cpu_reg2str(void); | |
| char buf[1024]; | char buf[1024]; |
| va_list ap; | va_list ap; |
| va_start(ap, str); | va_start(ap, str); |
| vsnprintf(buf, sizeof(buf), str, ap); | vsnprintf(buf, sizeof(buf), str, ap); |
| va_end(ap); | va_end(ap); |
| Line 213 ia32_panic(const char *str, ...) | Line 215 ia32_panic(const char *str, ...) |
| #endif | #endif |
| fprintf(stderr, buf); | fprintf(stderr, buf); |
| fprintf(stderr, cpu_reg2str()); | |
| __ASSERT(0); | __ASSERT(0); |
| exit(1); | exit(1); |
| } | } |