4 * Copyright (C) 2015 Huawei Futurewei Technologies.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
11 #ifndef _ARM64_CPU_RESET_H
12 #define _ARM64_CPU_RESET_H
16 void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,
17 unsigned long arg0, unsigned long arg1, unsigned long arg2);
19 static inline void __noreturn cpu_soft_restart(unsigned long entry,
24 typeof(__cpu_soft_restart) *restart;
26 unsigned long el2_switch = !is_kernel_in_hyp_mode() &&
27 is_hyp_mode_available();
28 restart = (void *)__pa_symbol(__cpu_soft_restart);
31 restart(el2_switch, entry, arg0, arg1, arg2);