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 el2_switch,
20 unsigned long entry, unsigned long arg0, unsigned long arg1,
23 typeof(__cpu_soft_restart) *restart;
25 el2_switch = el2_switch && !is_kernel_in_hyp_mode() &&
26 is_hyp_mode_available();
27 restart = (void *)virt_to_phys(__cpu_soft_restart);
30 restart(el2_switch, entry, arg0, arg1, arg2);