VIRTIO_GPU_CMD_RESOURCE_FLUSH
case VIRTIO_GPU_CMD_RESOURCE_FLUSH:
flush.hdr.type = virtio_rw32(vsc, VIRTIO_GPU_CMD_RESOURCE_FLUSH);