xen_wdt_stop      108 drivers/watchdog/xen_wdt.c 	.stop = xen_wdt_stop,
xen_wdt_stop      153 drivers/watchdog/xen_wdt.c 	int rc = xen_wdt_stop(&xen_wdt_dev);