|
@@ -30,7 +30,7 @@
|
|
|
#include "hw/pci/pci_device.h"
|
|
|
#include "smbios_build.h"
|
|
|
|
|
|
-static bool smbios_uuid_encoded = true;
|
|
|
+static const bool smbios_uuid_encoded = true;
|
|
|
/*
|
|
|
* SMBIOS tables provided by user with '-smbios file=<foo>' option
|
|
|
*/
|
|
@@ -1017,11 +1017,9 @@ void smbios_set_default_processor_family(uint16_t processor_family)
|
|
|
}
|
|
|
|
|
|
void smbios_set_defaults(const char *manufacturer, const char *product,
|
|
|
- const char *version,
|
|
|
- bool uuid_encoded)
|
|
|
+ const char *version)
|
|
|
{
|
|
|
smbios_have_defaults = true;
|
|
|
- smbios_uuid_encoded = uuid_encoded;
|
|
|
|
|
|
SMBIOS_SET_DEFAULT(smbios_type1.manufacturer, manufacturer);
|
|
|
SMBIOS_SET_DEFAULT(smbios_type1.product, product);
|