|
|
| version 1.4, 2004/02/09 16:13:13 | version 1.6, 2004/03/26 05:51:40 |
|---|---|
| Line 34 | Line 34 |
| extern "C" { | extern "C" { |
| #endif | #endif |
| void load_tr(WORD selector); | void load_tr(UINT16 selector); |
| void get_stack_pointer_from_tss(DWORD pl, WORD* new_ss, DWORD* new_esp); | void get_stack_pointer_from_tss(UINT pl, UINT16 *new_ss, UINT32 *new_esp); |
| WORD get_backlink_selector_from_tss(void); | UINT16 get_backlink_selector_from_tss(void); |
| /* task_switch type */ | /* task_switch type */ |
| enum task_switch_type { | enum task_switch_type { |
| TASK_SWITCH_JMP, | TASK_SWITCH_JMP, |
| TASK_SWITCH_CALL, | TASK_SWITCH_CALL, |
| TASK_SWITCH_IRET, | TASK_SWITCH_IRET, |
| TASK_SWITCH_INTR, | TASK_SWITCH_INTR |
| }; | }; |
| typedef enum task_switch_type task_switch_type_t; | typedef enum task_switch_type task_switch_type_t; |