gerrit-public.fairphone.software / kernel / msm-4.9 / 071b638689464c6b39407025eedd810d5b5e6f5d / include / asm-i386 / mach-generic / mach_ipi.h