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