69dee6f033
cpu_die() doesn't return. Annotate it as such. By extension this also makes arch_cpu_idle_dead() noreturn. Acked-by: Max Filippov <jcmvbkbc@gmail.com> Link: https://lore.kernel.org/r/ad801544cab7c26a0f3bbf7cfefb67303f4cd866.1676358308.git.jpoimboe@kernel.org Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
44 lines
978 B
C
44 lines
978 B
C
/*
|
|
* This file is subject to the terms and conditions of the GNU General Public
|
|
* License. See the file "COPYING" in the main directory of this archive
|
|
* for more details.
|
|
*
|
|
* Copyright (C) 2001 - 2013 Tensilica Inc.
|
|
*/
|
|
|
|
#ifndef _XTENSA_SMP_H
|
|
#define _XTENSA_SMP_H
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
#define raw_smp_processor_id() (current_thread_info()->cpu)
|
|
#define cpu_logical_map(cpu) (cpu)
|
|
|
|
struct start_info {
|
|
unsigned long stack;
|
|
};
|
|
extern struct start_info start_info;
|
|
|
|
struct cpumask;
|
|
void arch_send_call_function_ipi_mask(const struct cpumask *mask);
|
|
void arch_send_call_function_single_ipi(int cpu);
|
|
|
|
void smp_init_cpus(void);
|
|
void secondary_init_irq(void);
|
|
void ipi_init(void);
|
|
struct seq_file;
|
|
void show_ipi_list(struct seq_file *p, int prec);
|
|
|
|
#ifdef CONFIG_HOTPLUG_CPU
|
|
|
|
void __cpu_die(unsigned int cpu);
|
|
int __cpu_disable(void);
|
|
void __noreturn cpu_die(void);
|
|
void cpu_restart(void);
|
|
|
|
#endif /* CONFIG_HOTPLUG_CPU */
|
|
|
|
#endif /* CONFIG_SMP */
|
|
|
|
#endif /* _XTENSA_SMP_H */
|