gerrit-public.fairphone.software / kernel / msm-4.9 / d1a079029036881375110f78df47d352e7c28a77 / include / xen / interface / xen.h