xref: /linux-6.15/tools/virtio/linux/hrtimer.h (revision dc642e83)