CPU_restart       196 arch/alpha/include/asm/hwrpb.h 	void (*CPU_restart)(unsigned long);
CPU_restart       326 arch/alpha/kernel/smp.c 	hwrpb->CPU_restart = __smp_callin;