ppc4xx_reset_system   11 arch/powerpc/include/asm/ppc4xx.h extern void __noreturn ppc4xx_reset_system(char *cmd);
ppc4xx_reset_system  121 arch/powerpc/platforms/40x/ep405.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   77 arch/powerpc/platforms/40x/ppc40x_simple.c 	.restart = ppc4xx_reset_system,
ppc4xx_reset_system   52 arch/powerpc/platforms/40x/virtex.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   63 arch/powerpc/platforms/40x/walnut.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system  116 arch/powerpc/platforms/44x/canyonlands.c 	.restart = ppc4xx_reset_system,
ppc4xx_reset_system   62 arch/powerpc/platforms/44x/ebony.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system  313 arch/powerpc/platforms/44x/fsp2.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system  160 arch/powerpc/platforms/44x/iss4xx.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   85 arch/powerpc/platforms/44x/ppc44x_simple.c 	.restart = ppc4xx_reset_system,
ppc4xx_reset_system  292 arch/powerpc/platforms/44x/ppc476.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   59 arch/powerpc/platforms/44x/sam440ep.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   59 arch/powerpc/platforms/44x/virtex.c 	.restart		= ppc4xx_reset_system,
ppc4xx_reset_system   58 arch/powerpc/platforms/44x/warp.c 	.restart	= ppc4xx_reset_system,