hverr              46 drivers/watchdog/sun4v_wdt.c 	int hverr;
hverr              53 drivers/watchdog/sun4v_wdt.c 	hverr = sun4v_mach_set_watchdog(wdd->timeout * 1000, NULL);
hverr              54 drivers/watchdog/sun4v_wdt.c 	if (hverr == HV_EINVAL)