gerrit-public.fairphone.software / kernel / msm-4.9 / b30d89d1055f9acd14b5eaf82d8f6a4763e91d85 / drivers / hwspinlock / hwspinlock_core.c