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