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