Branch data Line data Source code
1 : : /* 2 : : * Copyright (c) 2016 Wind River Systems, Inc. 3 : : * Copyright (c) 2017 Oticon A/S 4 : : * 5 : : * SPDX-License-Identifier: Apache-2.0 6 : : */ 7 : : 8 : : /* This file is only meant to be included by kernel_structs.h */ 9 : : 10 : : #ifndef ZEPHYR_ARCH_POSIX_INCLUDE_KERNEL_ARCH_FUNC_H_ 11 : : #define ZEPHYR_ARCH_POSIX_INCLUDE_KERNEL_ARCH_FUNC_H_ 12 : : 13 : : #include <kernel_arch_data.h> 14 : : 15 : : #ifndef _ASMLANGUAGE 16 : : 17 : : #ifdef __cplusplus 18 : : extern "C" { 19 : : #endif 20 : : 21 : : static inline void arch_kernel_init(void) 22 : : { 23 : : /* Nothing to be done */ 24 : : } 25 : : 26 : : static ALWAYS_INLINE void 27 : 10 : arch_thread_return_value_set(struct k_thread *thread, unsigned int value) 28 : : { 29 : 10 : thread->callee_saved.retval = value; 30 : 10 : } 31 : : 32 : : #ifdef __cplusplus 33 : : } 34 : : #endif 35 : : 36 : 573 : static inline bool arch_is_in_isr(void) 37 : : { 38 : 573 : return _kernel.cpus[0].nested != 0U; 39 : : } 40 : : 41 : : #endif /* _ASMLANGUAGE */ 42 : : 43 : : #endif /* ZEPHYR_ARCH_POSIX_INCLUDE_KERNEL_ARCH_FUNC_H_ */