2009-07-27 20:23:08 +04:00
|
|
|
/*
|
|
|
|
* Copyright 2003-2006, Haiku Inc. All rights reserved.
|
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
*
|
|
|
|
* Authors:
|
|
|
|
* Axel Dörfler <axeld@pinc-software.de>
|
|
|
|
* Ingo Weinhold <bonefish@cs.tu-berlin.de>
|
|
|
|
* Johannes Wischert <johanneswi@gmail.com>
|
|
|
|
*/
|
|
|
|
#ifndef _KERNEL_ARCH_ARM_THREAD_H
|
|
|
|
#define _KERNEL_ARCH_ARM_THREAD_H
|
|
|
|
|
|
|
|
#include <arch/cpu.h>
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
|
|
|
void arm_push_iframe(struct iframe_stack *stack, struct iframe *frame);
|
|
|
|
void arm_pop_iframe(struct iframe_stack *stack);
|
|
|
|
struct iframe *arm_get_user_iframe(void);
|
|
|
|
|
2011-03-14 16:48:21 +03:00
|
|
|
/* TODO fix this global once we support SMP ARM... */
|
2011-01-11 00:54:38 +03:00
|
|
|
extern Thread *gCurrentThread;
|
2009-07-27 20:23:08 +04:00
|
|
|
|
2011-01-11 00:54:38 +03:00
|
|
|
extern inline Thread *
|
2009-07-27 20:23:08 +04:00
|
|
|
arch_thread_get_current_thread(void)
|
|
|
|
{
|
|
|
|
return gCurrentThread;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
extern inline void
|
2011-01-11 00:54:38 +03:00
|
|
|
arch_thread_set_current_thread(Thread *t)
|
2009-07-27 20:23:08 +04:00
|
|
|
{
|
|
|
|
gCurrentThread = t;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
#endif /* _KERNEL_ARCH_ARM_THREAD_H */
|