|
@@ -16,13 +16,14 @@
|
|
|
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,
|
|
|
- unsigned long arg2)
|
|
|
+static inline void __noreturn cpu_soft_restart(unsigned long entry,
|
|
|
+ unsigned long arg0,
|
|
|
+ unsigned long arg1,
|
|
|
+ unsigned long arg2)
|
|
|
{
|
|
|
typeof(__cpu_soft_restart) *restart;
|
|
|
|
|
|
- el2_switch = el2_switch && !is_kernel_in_hyp_mode() &&
|
|
|
+ unsigned long el2_switch = !is_kernel_in_hyp_mode() &&
|
|
|
is_hyp_mode_available();
|
|
|
restart = (void *)__pa_symbol(__cpu_soft_restart);
|
|
|
|