gerrit-public.fairphone.software / kernel / msm-4.9 / 4b8b8a4afa4f794a0029cdf2c13b6789fd38d9de / arch / x86 / lib / cache-smp.c