[PATCH] Define the DEVICE ID of Virtio Cpu balloon device as 47.

[Shujun Xue <shujunxue@google.com>]

The Virtio CPU balloon device is a primitive device for managing guest
CPU capacity: the device asks for certain CPU cores to be online,
offline or throttled, and the driver performs the requested operation.
This allows the guest to adapt to changes in allowance of underlying
CPU capacity.

Signed-off-by: Shujun Xue <shujunxue@google.com>
---
 content.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/content.tex b/content.tex
index 0a62dce..87f0238 100644
--- a/content.tex
+++ b/content.tex
@@ -739,6 +739,8 @@ \chapter{Device Types}\label{sec:Device Types}
 \hline
 45         &   SPI master \\
 \hline
+47         &   CPU balloon device \\
+\hline
 \end{tabular}

 Some of the devices above are unspecified by this document,
-- 
2.43.0.429.g432eaa2c6b-goog