1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/*
* PPC-specific RTLinux switch support
*
* Copyright (C) 1999 Cort Dougan <cort@fsmlabs.com>
*/
#include <linux/threads.h>
#include <asm/system.h>
#include <rtl_conf.h>
#include <rtl_sched.h>
#include <rtl_core.h>
#ifdef CONFIG_RTL_FP_SUPPORT
void __rtl_fpu_save(RTL_THREAD_STRUCT *);
void rtl_fpu_save (schedule_t *s, RTL_THREAD_STRUCT *current_t)
{
__rtl_fpu_save (current_t);
}
void __rtl_fpu_restore(RTL_THREAD_STRUCT *);
void rtl_fpu_restore (schedule_t *s,RTL_THREAD_STRUCT *current_t)
{
__rtl_fpu_restore (current_t);
}
void rtl_task_init_fpu (RTL_THREAD_STRUCT *t, RTL_THREAD_STRUCT *fpu_owner)
{
}
#endif
void rtl_switch_to(RTL_THREAD_STRUCT **current, RTL_THREAD_STRUCT *new)
{
void __rtl_switch_to( RTL_THREAD_STRUCT **, RTL_THREAD_STRUCT *);
__rtl_switch_to(current,new);
}
|
