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