You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
49 lines
1.1 KiB
49 lines
1.1 KiB
/* |
|
* Copyright (c) 2016 Wind River Systems, Inc. |
|
* Copyright (c) 2018 Intel Corporation |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
/* this file is only meant to be included by kernel_structs.h */ |
|
|
|
#ifndef ZEPHYR_ARCH_X86_INCLUDE_IA32_KERNEL_ARCH_FUNC_H_ |
|
#define ZEPHYR_ARCH_X86_INCLUDE_IA32_KERNEL_ARCH_FUNC_H_ |
|
|
|
#ifndef _ASMLANGUAGE |
|
|
|
#include <stddef.h> /* For size_t */ |
|
|
|
#include <zephyr/platform/hooks.h> |
|
|
|
#ifdef __cplusplus |
|
extern "C" { |
|
#endif |
|
|
|
static inline void arch_kernel_init(void) |
|
{ |
|
#ifdef CONFIG_SOC_PER_CORE_INIT_HOOK |
|
soc_per_core_init_hook(); |
|
#endif /* CONFIG_SOC_PER_CORE_INIT_HOOK */ |
|
} |
|
|
|
static ALWAYS_INLINE void |
|
arch_thread_return_value_set(struct k_thread *thread, unsigned int value) |
|
{ |
|
/* write into 'eax' slot created in z_swap() entry */ |
|
|
|
*(unsigned int *)(thread->callee_saved.esp) = value; |
|
} |
|
|
|
extern void arch_cpu_atomic_idle(unsigned int key); |
|
|
|
/* ASM code to fiddle with registers to enable the MMU with PAE paging */ |
|
void z_x86_enable_paging(void); |
|
|
|
#ifdef __cplusplus |
|
} |
|
#endif |
|
|
|
#endif /* _ASMLANGUAGE */ |
|
|
|
#endif /* ZEPHYR_ARCH_X86_INCLUDE_IA32_KERNEL_ARCH_FUNC_H_ */
|
|
|