[PATCH] virtio-tee: Reserve device ID 46 for TEE device

[jeshwank <JESHWANTHKUMAR.NK@amd.com>]

The virtio-tee device allows guest OS to access the TEE
present in host system, to perform secure operations.

This patch is to reserve a device ID 46 for virtio-tee device.

Signed-off-by: jeshwank <JESHWANTHKUMAR.NK@amd.com>
---
 content.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/content.tex b/content.tex
index 0a62dce..644aa4a 100644
--- a/content.tex
+++ b/content.tex
@@ -739,6 +739,8 @@ \chapter{Device Types}\label{sec:Device Types}
 \hline
 45         &   SPI master \\
 \hline
+46         &   TEE device \\
+\hline
 \end{tabular}
 
 Some of the devices above are unspecified by this document,
-- 
2.25.1