1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * CPU reset routines
 4 *
 5 * Copyright (C) 2015 Huawei Futurewei Technologies.
 6 */
 7
 8#ifndef _ARM64_CPU_RESET_H
 9#define _ARM64_CPU_RESET_H
10
11#include <asm/virt.h>
12
13void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,
14	unsigned long arg0, unsigned long arg1, unsigned long arg2);
15
16static inline void __noreturn cpu_soft_restart(unsigned long entry,
17					       unsigned long arg0,
18					       unsigned long arg1,
19					       unsigned long arg2)
20{
21	typeof(__cpu_soft_restart) *restart;
22
23	unsigned long el2_switch = !is_kernel_in_hyp_mode() &&
24		is_hyp_mode_available();
25	restart = (void *)__pa_symbol(__cpu_soft_restart);
26
27	cpu_install_idmap();
28	restart(el2_switch, entry, arg0, arg1, arg2);
29	unreachable();
30}
31
32#endif