da43d97627
This reverts commit 7c90f1bca1.
Xen initialization maps enlighten page to Zephyr memory and also
initializes Xen event channels. It is used for communication between
Xen domains and based on interrupt connected to domain virtual GIC.
Moving event channel initialization to arch_kernel_init() make it call
irq_enable() when GIC is not initialized. Since GIC is initialized
on PRE_KERNEL_1 stage, this lead to fatal error during boot.
Revert these changes to make xenvm operable again.
Signed-off-by: Dmytro Firsov <dmytro_firsov@epam.com>
71 lines
1.7 KiB
C
71 lines
1.7 KiB
C
/*
|
|
* Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com<
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
/**
|
|
* @file
|
|
* @brief Private kernel definitions (ARM64)
|
|
*
|
|
* This file contains private kernel function definitions and various
|
|
* other definitions for the ARM Cortex-A processor architecture family.
|
|
*
|
|
* 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 ZEPHYR_ARCH_ARM64_INCLUDE_KERNEL_ARCH_FUNC_H_
|
|
#define ZEPHYR_ARCH_ARM64_INCLUDE_KERNEL_ARCH_FUNC_H_
|
|
|
|
#include <kernel_arch_data.h>
|
|
|
|
#include <zephyr/platform/hooks.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
#ifndef _ASMLANGUAGE
|
|
|
|
static ALWAYS_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 inline void arch_switch(void *switch_to, void **switched_from)
|
|
{
|
|
extern void z_arm64_context_switch(struct k_thread *new,
|
|
struct k_thread *old);
|
|
struct k_thread *new = switch_to;
|
|
struct k_thread *old = CONTAINER_OF(switched_from, struct k_thread,
|
|
switch_handle);
|
|
|
|
z_arm64_context_switch(new, old);
|
|
}
|
|
|
|
extern void z_arm64_fatal_error(unsigned int reason, struct arch_esf *esf);
|
|
extern void z_arm64_set_ttbr0(uint64_t ttbr0);
|
|
extern void z_arm64_mem_cfg_ipi(void);
|
|
|
|
#ifdef CONFIG_FPU_SHARING
|
|
void arch_flush_local_fpu(void);
|
|
void arch_flush_fpu_ipi(unsigned int cpu);
|
|
#endif
|
|
|
|
#ifdef CONFIG_ARM64_SAFE_EXCEPTION_STACK
|
|
void z_arm64_safe_exception_stack_init(void);
|
|
#endif
|
|
|
|
#endif /* _ASMLANGUAGE */
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif /* ZEPHYR_ARCH_ARM64_INCLUDE_KERNEL_ARCH_FUNC_H_ */
|