gerrit-public.fairphone.software / kernel / msm-4.19 / 741c80c24b20b5ce1903d767a13caeac0fef62c6 / drivers / char / watchdog / i8xx_tco.h