[PATCH] vsock: reserve device ID

[Stefan Hajnoczi <stefanha@redhat.com>]

Add a device ID for the Socket device.  The draft specification is
currently under review but it helps to reserve the ID to avoid
collisions with other new virtio devices.

Suggested-by: Ian Campbell <ian.campbell@docker.com>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
---
 trunk/content.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/trunk/content.tex b/trunk/content.tex
index d989d98..36fa9f6 100644
--- a/trunk/content.tex
+++ b/trunk/content.tex
@@ -2990,6 +2990,8 @@ Device ID  &  Virtio Device    \\
 \hline
 18         &   Input device \\
 \hline
+19         &   Socket device \\
+\hline
 \end{tabular}
 
 Some of the devices above are unspecified by this document,
-- 
2.5.5