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