sched_watchdog
struct sched_watchdog wd = { .id = ~0 };
static struct sched_watchdog wdt;
DEFINE_GUEST_HANDLE_STRUCT(sched_watchdog);