wdt_expires 27 drivers/watchdog/xen_wdt.c static time64_t wdt_expires; wdt_expires 58 drivers/watchdog/xen_wdt.c wdt_expires = expires; wdt_expires 90 drivers/watchdog/xen_wdt.c wdt_expires = expires; wdt_expires 97 drivers/watchdog/xen_wdt.c return wdt_expires - ktime_get_seconds();