acrn-kernel/tools/virtio/linux/virtio_ring.h