Line data    Source code

       1           0 : /*
       2             :  * Copyright (c) 2023 Intel Corporation
       3             :  *
       4             :  * SPDX-License-Identifier: Apache-2.0
       5             :  */
       6             : #ifndef ZEPHYR_INCLUDE_KERNEL_INTERNAL_SMP_H_
       7             : #define ZEPHYR_INCLUDE_KERNEL_INTERNAL_SMP_H_
       8             : 
       9             : void z_sched_ipi(void);
      10             : 
      11             : #endif /* ZEPHYR_INCLUDE_KERNEL_INTERNAL_SMP_H_ */