1644b74192
play_dead() doesn't return. Annotate it as such. By extension this also makes arch_cpu_idle_dead() noreturn. Link: https://lore.kernel.org/r/03549a74fad9f73576d57e6fc0b5102322f9cff4.1676358308.git.jpoimboe@kernel.org Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
54 lines
1.0 KiB
C
54 lines
1.0 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef __ASM_SH_SMP_OPS_H
|
|
#define __ASM_SH_SMP_OPS_H
|
|
|
|
struct plat_smp_ops {
|
|
void (*smp_setup)(void);
|
|
unsigned int (*smp_processor_id)(void);
|
|
void (*prepare_cpus)(unsigned int max_cpus);
|
|
void (*start_cpu)(unsigned int cpu, unsigned long entry_point);
|
|
void (*send_ipi)(unsigned int cpu, unsigned int message);
|
|
int (*cpu_disable)(unsigned int cpu);
|
|
void (*cpu_die)(unsigned int cpu);
|
|
void (*play_dead)(void);
|
|
};
|
|
|
|
extern struct plat_smp_ops *mp_ops;
|
|
extern struct plat_smp_ops shx3_smp_ops;
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
static inline void plat_smp_setup(void)
|
|
{
|
|
BUG_ON(!mp_ops);
|
|
mp_ops->smp_setup();
|
|
}
|
|
|
|
static inline void __noreturn play_dead(void)
|
|
{
|
|
mp_ops->play_dead();
|
|
BUG();
|
|
}
|
|
|
|
extern void register_smp_ops(struct plat_smp_ops *ops);
|
|
|
|
#else
|
|
|
|
static inline void plat_smp_setup(void)
|
|
{
|
|
/* UP, nothing to do ... */
|
|
}
|
|
|
|
static inline void register_smp_ops(struct plat_smp_ops *ops)
|
|
{
|
|
}
|
|
|
|
static inline void __noreturn play_dead(void)
|
|
{
|
|
BUG();
|
|
}
|
|
|
|
#endif /* CONFIG_SMP */
|
|
|
|
#endif /* __ASM_SH_SMP_OPS_H */
|