gerrit-public.fairphone.software / kernel / msm-4.9 / cc90ef0f9b24d1b017c8cfa22db5195c17b5c968 / drivers / char / watchdog / mv64x60_wdt.c