gerrit-public.fairphone.software / kernel / msm / 881ddbc1f44809720eb8e3feef7a8d6e318dbb43 / drivers / hwspinlock / hwspinlock_core.c