gerrit-public.fairphone.software / kernel / msm-4.9 / 77284de326e6d8c3b8e866cda5b415c86b522e61 / tools / virtio / linux / hrtimer.h