/drivers/watchdog/xen_wdt.mod.c