Symbol: pcipcwd_get_option_switches
drivers/watchdog/pcwd_pci.c
238
option_switches = pcipcwd_get_option_switches();
drivers/watchdog/pcwd_pci.c
734
heartbeat_tbl[(pcipcwd_get_option_switches() & 0x07)];