|
|
| version 1.7, 2005/03/12 12:32:54 | version 1.8, 2008/03/22 04:03:08 |
|---|---|
| Line 37 void get_stack_pointer_from_tss(UINT pl, | Line 37 void get_stack_pointer_from_tss(UINT pl, |
| UINT16 get_backlink_selector_from_tss(void); | UINT16 get_backlink_selector_from_tss(void); |
| /* task_switch type */ | /* task_switch type */ |
| enum task_switch_type { | typedef enum { |
| TASK_SWITCH_JMP, | TASK_SWITCH_JMP, |
| TASK_SWITCH_CALL, | TASK_SWITCH_CALL, |
| TASK_SWITCH_IRET, | TASK_SWITCH_IRET, |
| TASK_SWITCH_INTR | TASK_SWITCH_INTR |
| }; | } task_switch_type_t; |
| typedef enum task_switch_type task_switch_type_t; | |
| void task_switch(selector_t *selector, task_switch_type_t type); | void task_switch(selector_t *selector, task_switch_type_t type); |