/*
 * Copyright 2003-2022, 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);


extern inline Thread *
arch_thread_get_current_thread(void)
{
        // read pointer to thread data structure from TPIDRPRW
        Thread* t;
        asm volatile("MRC p15, 0, %0, c13, c0, 4" : "=r" (t));
        return t;
}


extern inline void
arch_thread_set_current_thread(Thread *t)
{
        // set TPIDRPRW to point to thread data structure
        asm volatile("MCR p15, 0, %0, c13, c0, 4" : : "r" (t));
}

#ifdef __cplusplus
}
#endif


#endif /* _KERNEL_ARCH_ARM_THREAD_H */