| version 1.4, 2003/12/25 20:30:22 | 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); | 
 | strcat(buf, "\n"); | strcat(buf, "\n"); | 
 |  |  | 
 |  | #if defined(_WIN32) | 
 |  | MessageBox(NULL, buf, "ia32_panic", MB_OK); | 
 |  | #endif | 
 |  |  | 
 | fprintf(stderr, buf); | fprintf(stderr, buf); | 
 |  | fprintf(stderr, cpu_reg2str()); | 
 | __ASSERT(0); | __ASSERT(0); | 
 | exit(1); | exit(1); | 
 | } | } |