VIRTIO_VSOCK_OP_REQUEST with the same src_port from a guest

Hi virtio-dev,

we (Android Studio Emulator) have our own implementation of
virtio-vsock and we recently found that the virtio spec does not cover
the situation if a guest sends a VIRTIO_VSOCK_OP_REQUEST packet with
the same src_port that is already registered on the device side.

This sounds like an error to me and I don't think I ever saw this
happening, but it would be nice if the spec explicitly mentioned how
this situation should be handled on the device side.

The spec does mention "A VIRTIO_VSOCK_OP_RST reply is sent if ... the
destination has insufficient resources to establish the connection",
but I am not sure if this includes the duplicate src_port case. I
think this means the previously established connection will be broken.

Thank you.

Regards,
Roman.