62 static int wdt_start = 0x443;  variable
81 	inb_p(wdt_start);  in wafwdt_ping()
88 	outb_p(timeout, wdt_start);  in wafwdt_start()
89 	inb_p(wdt_start);  in wafwdt_start()
268 	if (wdt_stop != wdt_start) {  in wafwdt_init()
276 	if (!request_region(wdt_start, 1, "Wafer 5823 WDT")) {  in wafwdt_init()
277 		pr_err("I/O address 0x%04x already in use\n", wdt_start);  in wafwdt_init()
302 	release_region(wdt_start, 1);  in wafwdt_init()
304 	if (wdt_stop != wdt_start)  in wafwdt_init()
314 	if (wdt_stop != wdt_start)  in wafwdt_exit()
316 	release_region(wdt_start, 1);  in wafwdt_exit()