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);