include/hw/acpi/bios-linker-loader.h@bios_linker_loader_can_write_pointer;
include/hw/acpi/vmgenid.h@VmGenIdState;
hw/acpi/bios-linker-loader.c@bios_linker_loader_can_write_pointer;
hw/acpi/vmgenid.c@vmgenid_realize;
hw/acpi/vmgenid.c@vmgenid_device_class_init;
