#include <linux/version.h>
#include <arch/fpu.h>
#define __STR(x) #x
#define STR(x) __STR(x)

#ifndef _ARCH_RTL_SWITCH_H_
#define _ARCH_RTL_SWITCH_H_

void rtl_switch_to(RTL_THREAD_STRUCT **, RTL_THREAD_STRUCT *);
void __rtl_init_state(ulong, ulong, ulong, ulong);

#define rtl_init_stack(task,fn,data,rt_startup) \
	__rtl_init_state((ulong)task,(ulong)fn,(ulong)data,(ulong)rt_startup)

#endif /* _ARCH_RTL_SWITCH_H_ */