| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef POWERPC_85XX_SMP_H_ | |
| #define POWERPC_85XX_SMP_H_ 1 | |
| #include <linux/init.h> | |
| #ifdef CONFIG_SMP | |
| void __init mpc85xx_smp_init(void); | |
| int __init mpc85xx_setup_pmc(void); | |
| #else | |
| static inline void mpc85xx_smp_init(void) | |
| { | |
| /* Nothing to do */ | |
| } | |
| #endif | |
| #endif /* not POWERPC_85XX_SMP_H_ */ |