| 162 | } |
| 163 | |
| 164 | static const char * |
| 165 | trap_msg(int trapno) |
| 166 | { |
| 167 | const char *res; |
| 168 | static const char unkn[] = "UNKNOWN"; |
| 169 | |
| 170 | res = NULL; |
| 171 | if (trapno < nitems(trap_data)) |
| 172 | res = trap_data[trapno].msg; |
| 173 | if (res == NULL) |
| 174 | res = unkn; |
| 175 | return (res); |
| 176 | } |
| 177 | |
| 178 | #if defined(I586_CPU) && !defined(NO_F00F_HACK) |
| 179 | int has_f00f_bug = 0; /* Initialized so that it can be patched. */ |