20 lines
437 B
C
20 lines
437 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_
|
|
|
|
/* defined in ipi.c when CONFIG_SMP=y */
|
|
#ifdef CONFIG_SMP
|
|
void flag_ipi(void);
|
|
void signal_pending_ipi(void);
|
|
#else
|
|
#define flag_ipi() do { } while (false)
|
|
#define signal_pending_ipi() do { } while (false)
|
|
#endif /* CONFIG_SMP */
|
|
|
|
#endif /* ZEPHYR_KERNEL_INCLUDE_IPI_H_ */
|