Searched refs:el2_switch (Results 1 – 1 of 1) sorted by relevance
13 void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,23 unsigned long el2_switch = !is_kernel_in_hyp_mode() && in cpu_soft_restart() local28 restart(el2_switch, entry, arg0, arg1, arg2); in cpu_soft_restart()
