--- np2/i386c/ia32/task.h	2011/01/15 17:17:23	1.9
+++ np2/i386c/ia32/task.h	2011/12/29 13:32:12	1.10
@@ -30,8 +30,8 @@
 extern "C" {
 #endif
 
-void load_tr(UINT16 selector);
-void get_stack_pointer_from_tss(UINT pl, UINT16 *new_ss, UINT32 *new_esp);
+void CPUCALL load_tr(UINT16 selector);
+void CPUCALL get_stack_pointer_from_tss(UINT pl, UINT16 *new_ss, UINT32 *new_esp);
 UINT16 get_backlink_selector_from_tss(void);
 
 /* task_switch type */
@@ -42,7 +42,7 @@ typedef enum {
 	TASK_SWITCH_INTR
 } 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
 }