|
|
| version 1.9, 2011/01/15 17:17:23 | version 1.10, 2011/12/29 13:32:12 |
|---|---|
| Line 30 | Line 30 |
| extern "C" { | extern "C" { |
| #endif | #endif |
| void load_tr(UINT16 selector); | void CPUCALL load_tr(UINT16 selector); |
| void get_stack_pointer_from_tss(UINT pl, UINT16 *new_ss, UINT32 *new_esp); | void CPUCALL get_stack_pointer_from_tss(UINT pl, UINT16 *new_ss, UINT32 *new_esp); |
| UINT16 get_backlink_selector_from_tss(void); | UINT16 get_backlink_selector_from_tss(void); |
| /* task_switch type */ | /* task_switch type */ |
| Line 42 typedef enum { | Line 42 typedef enum { |
| TASK_SWITCH_INTR | TASK_SWITCH_INTR |
| } task_switch_type_t; | } task_switch_type_t; |
| void task_switch(selector_t *selector, task_switch_type_t type); | void CPUCALL task_switch(selector_t *selector, task_switch_type_t type); |
| #ifdef __cplusplus | #ifdef __cplusplus |
| } | } |