ping_watchdog     115 arch/um/drivers/harddog_kern.c extern int ping_watchdog(int fd);
ping_watchdog     124 arch/um/drivers/harddog_kern.c 		return ping_watchdog(harddog_out_fd);
ping_watchdog     148 arch/um/drivers/harddog_kern.c 			return ping_watchdog(harddog_out_fd);