gerrit-public.fairphone.software / kernel / msm-4.19 / 5b5da4c4b843e0d84244472b72fe1e7500f5681f / drivers / hwspinlock / hwspinlock_core.c