f6fb634b89
This is part of the core kernel -> architecture interface and has been renamed z_arch_kernel_init(). Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
20 lines
454 B
C
20 lines
454 B
C
/*
|
|
* 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_
|
|
|
|
#ifndef _ASMLANGUAGE
|
|
|
|
extern void z_arch_switch(void *switch_to, void **switched_from);
|
|
|
|
static inline void z_arch_kernel_init(void)
|
|
{
|
|
/* nothing */;
|
|
}
|
|
|
|
#endif /* _ASMLANGUAGE */
|
|
|
|
#endif /* ZEPHYR_ARCH_X86_INCLUDE_INTEL64_KERNEL_ARCH_FUNC_H_ */
|