Boot Linux faster!

Check our new training course

Boot Linux faster!

Check our new training course
and Creative Commons CC-BY-SA
lecture and lab materials

Bootlin logo

Elixir Cross Referencer

 * Copyright (c) 2019 Intel Corporation
 * SPDX-License-Identifier: Apache-2.0


#include <kernel_structs.h>


extern void z_x86_switch(void *switch_to, void **switched_from);

static inline void arch_switch(void *switch_to, void **switched_from)
	z_x86_switch(switch_to, switched_from);

 * @brief Initialize scheduler IPI vector.
 * Called in early BSP boot to set up scheduler IPI handling.

extern void z_x86_ipi_setup(void);

static inline void arch_kernel_init(void)
	/* nothing */;

FUNC_NORETURN void z_x86_cpu_init(struct x86_cpuboot *cpuboot);

void x86_sse_init(struct k_thread *thread);

void z_x86_syscall_entry_stub(void);

#endif /* _ASMLANGUAGE */