|
|
| version 1.36, 2012/01/08 18:26:39 | version 1.37, 2012/02/07 09:30:05 |
|---|---|
| Line 382 interrupt_task_gate(const descriptor_t * | Line 382 interrupt_task_gate(const descriptor_t * |
| CPU_SET_PREV_ESP(); | CPU_SET_PREV_ESP(); |
| if (errorp) { | if (errorp) { |
| XPUSH0(error_code); | VERBOSE(("interrupt: push error code (%08x)", error_code)); |
| if (task_sel.desc.type == CPU_SYSDESC_TYPE_TSS_32) { | |
| PUSH0_32(error_code); | |
| } else { | |
| PUSH0_16(error_code); | |
| } | |
| } | } |
| /* out of range */ | /* out of range */ |