pid_args           35 arch/um/drivers/harddog_user.c 	char *pid_args[] = { "/usr/bin/uml_watchdog", "-pid", pid_buf, NULL };
pid_args           64 arch/um/drivers/harddog_user.c 		args = pid_args;