/*
 * 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_ */