gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / ef0ad9b07da1595b33fa19ff96a11038c8753755 / drivers / watchdog / sandbox_alarm-wdt.c