sun4v_mach_set_watchdog
unsigned long sun4v_mach_set_watchdog(unsigned long timeout,
sun4v_mach_set_watchdog(0, NULL);
hverr = sun4v_mach_set_watchdog(wdd->timeout * 1000, NULL);