switch.c

fsmlabs的real time linux的内核

/*
 * PPC-specific RTLinux switch support
 *
 * Copyright (C) 1999 Cort Dougan <[e-mail]>
 */

#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);
}