|
|
| version 1.13, 2004/02/20 16:09:04 | 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; |
| ia32_panic("load_descriptor: bad descriptor (type = %d)", descp->type); | |
| break; | break; |
| } | } |
| } | } |