gerrit-public.fairphone.software / kernel / msm-4.19 / 7d8952440f4090522b740257f1c6b2cf96413969 / include / asm-alpha / core_marvel.h