141 static void i6300esb_disable_timer(I6300State *d)  in i6300esb_disable_timer()
151     I6300State *d = WATCHDOG_I6300ESB_DEVICE(pdev);  in i6300esb_reset()  local
180     I6300State *d = vp;  in i6300esb_timer_expired()  local
214     I6300State *d = WATCHDOG_I6300ESB_DEVICE(dev);  in i6300esb_config_write()  local
242     I6300State *d = WATCHDOG_I6300ESB_DEVICE(dev);  in i6300esb_config_read()  local
274     I6300State *d = vp;  in i6300esb_mem_readw()  local
298     I6300State *d = vp;  in i6300esb_mem_writeb()  local
310     I6300State *d = vp;  in i6300esb_mem_writew()  local
343     I6300State *d = vp;  in i6300esb_mem_writel()  local
441     I6300State *d = WATCHDOG_I6300ESB_DEVICE(dev);  in i6300esb_realize()  local
455     I6300State *d = WATCHDOG_I6300ESB_DEVICE(dev);  in i6300esb_exit()  local