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