/tools/virtio/linux/hrtimer.h