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 restart = (void *)__pa_symbol(function_nocfi(__cpu_soft_restart));
26 restart(0, entry, arg0, arg1, arg2);