gerrit-public.fairphone.software / kernel / msm-4.19 / 65dab25deb8da7dba4b6dd0145a9143be7f8369f / include / xen / interface / platform.h