1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef POWERPC_85XX_SMP_H_
3#define POWERPC_85XX_SMP_H_ 1
4
5#include <linux/init.h>
6
7#ifdef CONFIG_SMP
8void __init mpc85xx_smp_init(void);
9int __init mpc85xx_setup_pmc(void);
10#else
11static inline void mpc85xx_smp_init(void)
12{
13	/* Nothing to do */
14}
15#endif
16
17#endif /* not POWERPC_85XX_SMP_H_ */
18