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
cpu_soft_restart(unsigned long entry
,
21 typeof(__cpu_soft_restart
) *restart
;
23 unsigned long el2_switch
= !is_kernel_in_hyp_mode() &&
24 is_hyp_mode_available();
25 restart
= (void *)__pa_symbol(__cpu_soft_restart
);
28 restart(el2_switch
, entry
, arg0
, arg1
, arg2
);