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 *)__pa_symbol(__cpu_soft_restart
);
30 restart(el2_switch
, entry
, arg0
, arg1
, arg2
);