|
|
| version 1.8, 2008/03/22 04:03:08 | version 1.10, 2011/12/29 13:32:12 |
|---|---|
| Line 1 | Line 1 |
| /* $Id$ */ | |
| /* | /* |
| * Copyright (c) 2003 NONAKA Kimihiro | * Copyright (c) 2003 NONAKA Kimihiro |
| * All rights reserved. | * All rights reserved. |
| Line 32 | 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 44 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 |
| } | } |