el2_switch         13 arch/arm64/kernel/cpu-reset.h void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,
el2_switch         23 arch/arm64/kernel/cpu-reset.h 	unsigned long el2_switch = !is_kernel_in_hyp_mode() &&
el2_switch         28 arch/arm64/kernel/cpu-reset.h 	restart(el2_switch, entry, arg0, arg1, arg2);