DEFAULT_MARGIN     34 drivers/watchdog/hpwdt.c static unsigned int soft_margin = DEFAULT_MARGIN;	/* in seconds */
DEFAULT_MARGIN    228 drivers/watchdog/hpwdt.c 	.timeout	= DEFAULT_MARGIN,