pc87413_time      150 drivers/watchdog/pc87413_wdt.c static inline void pc87413_programm_wdto(char pc87413_time)
pc87413_time      153 drivers/watchdog/pc87413_wdt.c 	outb_p(pc87413_time, swc_base_addr + WDTO);
pc87413_time      155 drivers/watchdog/pc87413_wdt.c 	pr_info(DPFX "Set WDTO to %d minutes\n", pc87413_time);