35     DIAG288State *diag288 = DIAG288(dev);  in wdt_diag288_reset()  local
37     diag288->enabled = false;  in wdt_diag288_reset()
38     timer_del(diag288->timer);  in wdt_diag288_reset()
43     DeviceState *diag288 = opaque;  in diag288_reset()  local
45     wdt_diag288_reset(diag288);  in diag288_reset()
66 static int wdt_diag288_handle_timer(DIAG288State *diag288,  in wdt_diag288_handle_timer()  argument
71         diag288->enabled = true;  in wdt_diag288_handle_timer()
74         if (!diag288->enabled) {  in wdt_diag288_handle_timer()
77         timer_mod(diag288->timer,  in wdt_diag288_handle_timer()
82         if (!diag288->enabled) {  in wdt_diag288_handle_timer()
85         diag288->enabled = false;  in wdt_diag288_handle_timer()
86         timer_del(diag288->timer);  in wdt_diag288_handle_timer()
97     DIAG288State *diag288 = DIAG288(dev);  in wdt_diag288_realize()  local
99     qemu_register_reset(diag288_reset, diag288);  in wdt_diag288_realize()
100     diag288->timer = timer_new_ns(QEMU_CLOCK_VIRTUAL, diag288_timer_expired,  in wdt_diag288_realize()
106     DIAG288State *diag288 = DIAG288(dev);  in wdt_diag288_unrealize()  local
108     timer_free(diag288->timer);  in wdt_diag288_unrealize()
114     DIAG288Class *diag288 = DIAG288_CLASS(klass);  in wdt_diag288_class_init()  local
122     diag288->handle_timer = wdt_diag288_handle_timer;  in wdt_diag288_class_init()