taglinefilesource code
WDT_DC117drivers/char/wdt.cinb_p(WDT_DC);
WDT_DC120drivers/char/wdt.coutb_p(0, WDT_DC);
WDT_DC169drivers/char/wdt.cinb_p(WDT_DC);    /* Disable */
WDT_DC176drivers/char/wdt.coutb_p(0, WDT_DC);  /* Enable */
WDT_DC191drivers/char/wdt.cinb_p(WDT_DC);    /* Disable counters */