__cpu_soft_restart   13 arch/arm64/kernel/cpu-reset.h void __cpu_soft_restart(unsigned long el2_switch, unsigned long entry,
__cpu_soft_restart   21 arch/arm64/kernel/cpu-reset.h 	typeof(__cpu_soft_restart) *restart;
__cpu_soft_restart   25 arch/arm64/kernel/cpu-reset.h 	restart = (void *)__pa_symbol(__cpu_soft_restart);