Add a hardware-info device ID for virtio mmio devices intended for use by an
SVSM.
The ID has already been reserved in edk2, see edk2 commit f25e3d0d2c55.
Signed-off-by: Oliver Steffen <ostef...@redhat.com>
---
include/hw/uefi/hardware-info.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/include/hw/uefi/hardware-info.h b/include/hw/uefi/hardware-info.h
index 94c38cff20..d688af0e8a 100644
--- a/include/hw/uefi/hardware-info.h
+++ b/include/hw/uefi/hardware-info.h
@@ -14,6 +14,7 @@ typedef enum {
HardwareInfoTypeUndefined = 0,
HardwareInfoTypeHostBridge = 1,
HardwareInfoQemuUefiVars = 2,
+ HardwareInfoVirtioMmioSvsm = 0x1000,
} HARDWARE_INFO_TYPE;
typedef struct {
--
2.50.0
