gerrit-public.fairphone.software / kernel / msm-4.9 / 23f3bc0f2c1e26215b671499c07047c325d54d9c / drivers / char / watchdog / ep93xx_wdt.c