f5d7081710
Do not directly include and use APIs from ksched.h outside of the kernel. For now do this using more suitable (ipi.h and kernel_internal.h) internal APIs until more cleanup is done. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
34 lines
786 B
C
34 lines
786 B
C
/*
|
|
* Copyright (c) 2024 Intel Corporation
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
|
|
#ifndef ZEPHYR_KERNEL_INCLUDE_IPI_H_
|
|
#define ZEPHYR_KERNEL_INCLUDE_IPI_H_
|
|
|
|
#include <zephyr/kernel.h>
|
|
#include <stdint.h>
|
|
#include <zephyr/sys/atomic.h>
|
|
|
|
#define IPI_ALL_CPUS_MASK ((1 << CONFIG_MP_MAX_NUM_CPUS) - 1)
|
|
|
|
#define IPI_CPU_MASK(cpu_id) \
|
|
(IS_ENABLED(CONFIG_IPI_OPTIMIZE) ? BIT(cpu_id) : IPI_ALL_CPUS_MASK)
|
|
|
|
|
|
void z_sched_ipi(void);
|
|
|
|
/* defined in ipi.c when CONFIG_SMP=y */
|
|
#ifdef CONFIG_SMP
|
|
void flag_ipi(uint32_t ipi_mask);
|
|
void signal_pending_ipi(void);
|
|
atomic_val_t ipi_mask_create(struct k_thread *thread);
|
|
#else
|
|
#define flag_ipi(ipi_mask) do { } while (false)
|
|
#define signal_pending_ipi() do { } while (false)
|
|
#endif /* CONFIG_SMP */
|
|
|
|
|
|
#endif /* ZEPHYR_KERNEL_INCLUDE_IPI_H_ */
|