1d03637bcSBen Warren #ifndef ACPI_VMGENID_H 2d03637bcSBen Warren #define ACPI_VMGENID_H 3d03637bcSBen Warren 4d03637bcSBen Warren #include "hw/acpi/bios-linker-loader.h" 5*a27bd6c7SMarkus Armbruster #include "hw/qdev-core.h" 6d03637bcSBen Warren #include "qemu/uuid.h" 7d03637bcSBen Warren 8d03637bcSBen Warren #define VMGENID_DEVICE "vmgenid" 9d03637bcSBen Warren #define VMGENID_GUID "guid" 10d03637bcSBen Warren #define VMGENID_GUID_FW_CFG_FILE "etc/vmgenid_guid" 11d03637bcSBen Warren #define VMGENID_ADDR_FW_CFG_FILE "etc/vmgenid_addr" 12d03637bcSBen Warren 13d03637bcSBen Warren #define VMGENID_FW_CFG_SIZE 4096 /* Occupy a page of memory */ 14d03637bcSBen Warren #define VMGENID_GUID_OFFSET 40 /* allow space for 15d03637bcSBen Warren * OVMF SDT Header Probe Supressor 16d03637bcSBen Warren */ 17d03637bcSBen Warren 18d03637bcSBen Warren #define VMGENID(obj) OBJECT_CHECK(VmGenIdState, (obj), VMGENID_DEVICE) 19d03637bcSBen Warren 20d03637bcSBen Warren typedef struct VmGenIdState { 21d03637bcSBen Warren DeviceClass parent_obj; 22d03637bcSBen Warren QemuUUID guid; /* The 128-bit GUID seen by the guest */ 23d03637bcSBen Warren uint8_t vmgenid_addr_le[8]; /* Address of the GUID (little-endian) */ 24d03637bcSBen Warren } VmGenIdState; 25d03637bcSBen Warren 26f9206302SLaszlo Ersek /* returns NULL unless there is exactly one device */ 27d03637bcSBen Warren static inline Object *find_vmgenid_dev(void) 28d03637bcSBen Warren { 29d03637bcSBen Warren return object_resolve_path_type("", VMGENID_DEVICE, NULL); 30d03637bcSBen Warren } 31d03637bcSBen Warren 32d03637bcSBen Warren void vmgenid_build_acpi(VmGenIdState *vms, GArray *table_data, GArray *guid, 33d03637bcSBen Warren BIOSLinker *linker); 34d03637bcSBen Warren void vmgenid_add_fw_cfg(VmGenIdState *vms, FWCfgState *s, GArray *guid); 35d03637bcSBen Warren 36d03637bcSBen Warren #endif 37