2019-07-04 12:28:20 -07:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2019 Intel Corporation
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef ZEPHYR_ARCH_X86_INCLUDE_INTEL64_KERNEL_ARCH_FUNC_H_
|
|
|
|
#define ZEPHYR_ARCH_X86_INCLUDE_INTEL64_KERNEL_ARCH_FUNC_H_
|
|
|
|
|
2019-07-04 13:49:06 -07:00
|
|
|
#ifndef _ASMLANGUAGE
|
|
|
|
|
|
|
|
static ALWAYS_INLINE void
|
|
|
|
z_set_thread_return_value(struct k_thread *thread, unsigned int value)
|
|
|
|
{
|
2019-07-04 20:17:14 -07:00
|
|
|
thread->callee_saved.rax = value;
|
2019-07-04 13:49:06 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline void kernel_arch_init(void)
|
|
|
|
{
|
2019-07-04 20:17:14 -07:00
|
|
|
/* nothing */;
|
2019-07-04 13:49:06 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* _ASMLANGUAGE */
|
|
|
|
|
2019-07-04 12:28:20 -07:00
|
|
|
#endif /* ZEPHYR_ARCH_X86_INCLUDE_INTEL64_KERNEL_ARCH_FUNC_H_ */
|