[PATCH v5 06/10] vhost-user: change the device id

[Nikos Dragazis <ndragazis@arrikto.com>]

Change the device id from 28 to 32.

Signed-off-by: Nikos Dragazis <ndragazis@arrikto.com>
---
 content.tex           | 2 +-
 virtio-vhost-user.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/content.tex b/content.tex
index 9f3e86d..8b4aa88 100644
--- a/content.tex
+++ b/content.tex
@@ -2801,7 +2801,7 @@ \chapter{Device Types}\label{sec:Device Types}
 \hline
 31         &   Video decoder device \\
 \hline
-28         &   vhost-user device backend \\
+32         &   vhost-user device backend \\
 \hline
 \end{tabular}
 
diff --git a/virtio-vhost-user.tex b/virtio-vhost-user.tex
index 678d018..29e7323 100644
--- a/virtio-vhost-user.tex
+++ b/virtio-vhost-user.tex
@@ -27,7 +27,7 @@ \section{Vhost-user Device Backend}\label{sec:Device Types / Vhost-user Device B
 because the pre-existing vhost-user wire protocol is used.
 
 \subsection{Device ID}\label{sec:Device Types / Vhost-user Device Backend / Device ID}
-  28
+  32
 
 \subsection{Virtqueues}\label{sec:Device Types / Vhost-user Device Backend / Virtqueues}
 
-- 
2.17.1