1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __HISILICON_CORE_H
 3#define __HISILICON_CORE_H
 4
 5#include <linux/reboot.h>
 6
 7extern void hi3xxx_set_cpu_jump(int cpu, void *jump_addr);
 8extern int hi3xxx_get_cpu_jump(int cpu);
 9extern void secondary_startup(void);
10
11extern void hi3xxx_cpu_die(unsigned int cpu);
12extern int hi3xxx_cpu_kill(unsigned int cpu);
13extern void hi3xxx_set_cpu(int cpu, bool enable);
14
15extern void hix5hd2_set_cpu(int cpu, bool enable);
16extern void hix5hd2_cpu_die(unsigned int cpu);
17
18extern void hip01_set_cpu(int cpu, bool enable);
19#endif