VIRTIO_PCI_COMMON_Q_AVAILLO
VIRTIO_PCI_COMMON_Q_AVAILLO, virtqueue_avail_paddr(vq));
vtpci_modern_write_common_8(sc, VIRTIO_PCI_COMMON_Q_AVAILLO, 0ULL);