1 /* SPDX-License-Identifier: GPL-2.0-only */
5 * Copyright (C) 2015 Huawei Futurewei Technologies.
8 #ifndef _ARM64_CPU_RESET_H
9 #define _ARM64_CPU_RESET_H
13 void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,
14 unsigned long arg0, unsigned long arg1, unsigned long arg2);
16 static inline void __noreturn __nocfi cpu_soft_restart(unsigned long entry,
21 typeof(__cpu_soft_restart) *restart;
23 unsigned long el2_switch = !is_kernel_in_hyp_mode() &&
24 is_hyp_mode_available();
25 restart = (void *)__pa_symbol(function_nocfi(__cpu_soft_restart));
28 restart(el2_switch, entry, arg0, arg1, arg2);