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