virtqueue_avail_paddr
paddr = virtqueue_avail_paddr(vq);
VIRTIO_PCI_COMMON_Q_AVAILLO, virtqueue_avail_paddr(vq));
vm_paddr_t virtqueue_avail_paddr(struct virtqueue *vq);