fsl_hv_restart    174 arch/powerpc/platforms/85xx/corenet_generic.c 			ppc_md.restart = fsl_hv_restart;
fsl_hv_restart     44 arch/powerpc/sysdev/fsl_soc.h void __noreturn fsl_hv_restart(char *cmd);