wd_times          122 drivers/watchdog/sbc8360.c static int wd_times[64][2] = {
wd_times          361 drivers/watchdog/sbc8360.c 	wd_margin = wd_times[timeout][0];
wd_times          362 drivers/watchdog/sbc8360.c 	wd_multiplier = wd_times[timeout][1];