restart_cmd        72 arch/alpha/kernel/process.c 	char *restart_cmd;
restart_cmd       107 arch/alpha/kernel/process.c 		if (!how->restart_cmd) {
restart_cmd       166 arch/alpha/kernel/process.c common_shutdown(int mode, char *restart_cmd)
restart_cmd       170 arch/alpha/kernel/process.c 	args.restart_cmd = restart_cmd;
restart_cmd       175 arch/alpha/kernel/process.c machine_restart(char *restart_cmd)
restart_cmd       177 arch/alpha/kernel/process.c 	common_shutdown(LINUX_REBOOT_CMD_RESTART, restart_cmd);
restart_cmd       663 arch/ia64/kernel/process.c machine_restart (char *restart_cmd)
restart_cmd       665 arch/ia64/kernel/process.c 	(void) notify_die(DIE_MACHINE_RESTART, restart_cmd, NULL, 0, 0, 0);