diff --git a/devicemodel/hw/pci/virtio/virtio_console.c b/devicemodel/hw/pci/virtio/virtio_console.c index 3eda8badc..6b16b1f46 100644 --- a/devicemodel/hw/pci/virtio/virtio_console.c +++ b/devicemodel/hw/pci/virtio/virtio_console.c @@ -390,7 +390,7 @@ virtio_console_notify_tx(void *vdev, struct virtio_vq_info *vq) while (vq_has_descs(vq)) { vq_getchain(vq, &idx, iov, 1, flags); - if (port != NULL) + if ((port != NULL) && (port->cb != NULL)) port->cb(port, port->arg, iov, 1); /*