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