|
|
| version 1.14, 2004/03/04 15:20:13 | version 1.15, 2004/03/23 15:29:34 |
|---|---|
| Line 319 load_descriptor(descriptor_t *descp, UIN | Line 319 load_descriptor(descriptor_t *descp, UIN |
| case 0: case 8: case 10: case 13: /* reserved */ | case 0: case 8: case 10: case 13: /* reserved */ |
| default: | default: |
| descp->valid = 0; | descp->valid = 0; |
| if (descp->p) { // ---- for test! | |
| ia32_panic("load_descriptor: bad descriptor (type = %d)", descp->type); | |
| } | |
| break; | break; |
| } | } |
| } | } |