|
|
| version 1.7, 2005/03/12 12:32:54 | version 1.9, 2011/01/15 17:17:23 |
|---|---|
| Line 1 | Line 1 |
| /* $Id$ */ | |
| /* | /* |
| * Copyright (c) 2003 NONAKA Kimihiro | * Copyright (c) 2003 NONAKA Kimihiro |
| * All rights reserved. | * All rights reserved. |
| Line 37 void get_stack_pointer_from_tss(UINT pl, | Line 35 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); |