| /* |
| * Copyright (c) 2016 Intel Corporation |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| /** |
| * @file |
| * @brief Private kernel definitions |
| * |
| * This file contains private kernel function/macro definitions and various |
| * other definitions for the Nios II processor architecture. |
| * |
| * This file is also included by assembly language files which must #define |
| * _ASMLANGUAGE before including this header file. Note that kernel |
| * assembly source files obtains structure offset values via "absolute |
| * symbols" in the offsets.o module. |
| */ |
| |
| #ifndef _kernel_arch_func__h_ |
| #define _kernel_arch_func__h_ |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| #ifndef _ASMLANGUAGE |
| |
| void k_cpu_idle(void); |
| void k_cpu_atomic_idle(unsigned int key); |
| |
| static ALWAYS_INLINE void kernel_arch_init(void) |
| { |
| _kernel.irq_stack = |
| K_THREAD_STACK_BUFFER(_interrupt_stack) + CONFIG_ISR_STACK_SIZE; |
| } |
| |
| static ALWAYS_INLINE void |
| _set_thread_return_value(struct k_thread *thread, unsigned int value) |
| { |
| thread->callee_saved.retval = value; |
| } |
| |
| static inline void _IntLibInit(void) |
| { |
| /* No special initialization of the interrupt subsystem required */ |
| } |
| |
| #define _is_in_isr() (_kernel.nested != 0) |
| |
| #ifdef CONFIG_IRQ_OFFLOAD |
| void _irq_do_offload(void); |
| #endif |
| |
| #if ALT_CPU_ICACHE_SIZE > 0 |
| void _nios2_icache_flush_all(void); |
| #else |
| #define _nios2_icache_flush_all() do { } while (0) |
| #endif |
| |
| #if ALT_CPU_DCACHE_SIZE > 0 |
| void _nios2_dcache_flush_all(void); |
| #else |
| #define _nios2_dcache_flush_all() do { } while (0) |
| #endif |
| |
| #endif /* _ASMLANGUAGE */ |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif /* _kernel_arch_func__h_ */ |