Loading...
Searching...
No Matches
thread_arch.h
Go to the documentation of this file.
1/*
2 * Copyright (C) 2008, 2009 Heiko Will <hwill@inf.fu-berlin.de>
3 * Copyright (C) 2009 Kaspar Schleiser <kaspar@schleiser.de>
4 *
5 * This file is subject to the terms and conditions of the GNU Lesser General
6 * Public License v2.1. See the file LICENSE in the top level directory for more
7 * details.
8 */
9
20#ifndef THREAD_ARCH_H
21#define THREAD_ARCH_H
22
23#include "irq.h"
24
25#ifdef __cplusplus
26extern "C" {
27#endif
28
29#define THREAD_API_INLINED
30
31#ifndef DOXYGEN /* Doxygen is in core/include/thread.h */
32
33static inline __attribute__((always_inline)) void thread_yield_higher(void)
34{
35 if (irq_is_in()) {
36 sched_context_switch_request = 1;
37 }
38 else {
39 __asm__("svc 0\n");
40 }
41}
42
43#endif /* DOXYGEN */
44
45#ifdef __cplusplus
46}
47#endif
48
49#endif /* THREAD_ARCH_H */
irq_is_in
MAYBE_INLINE bool irq_is_in(void)
Check whether called from interrupt service routine.
sched_context_switch_request
volatile unsigned int sched_context_switch_request
Flag indicating whether a context switch is necessary after handling an interrupt.
thread_yield_higher
THREAD_MAYBE_INLINE void thread_yield_higher(void)
Lets current thread yield in favor of a higher prioritized thread.
irq.h
IRQ driver interface.