|
@@ -2223,10 +2223,10 @@ static void
|
|
|
build_waet(GArray *table_data, BIOSLinker *linker, const char *oem_id,
|
|
|
const char *oem_table_id)
|
|
|
{
|
|
|
- int waet_start = table_data->len;
|
|
|
+ AcpiTable table = { .sig = "WAET", .rev = 1, .oem_id = oem_id,
|
|
|
+ .oem_table_id = oem_table_id };
|
|
|
|
|
|
- /* WAET header */
|
|
|
- acpi_data_push(table_data, sizeof(AcpiTableHeader));
|
|
|
+ acpi_table_begin(&table, table_data);
|
|
|
/*
|
|
|
* Set "ACPI PM timer good" flag.
|
|
|
*
|
|
@@ -2235,9 +2235,7 @@ build_waet(GArray *table_data, BIOSLinker *linker, const char *oem_id,
|
|
|
* Which avoids costly VMExits caused by guest re-reading it unnecessarily.
|
|
|
*/
|
|
|
build_append_int_noprefix(table_data, 1 << 1 /* ACPI PM timer good */, 4);
|
|
|
-
|
|
|
- build_header(linker, table_data, (void *)(table_data->data + waet_start),
|
|
|
- "WAET", table_data->len - waet_start, 1, oem_id, oem_table_id);
|
|
|
+ acpi_table_end(linker, &table);
|
|
|
}
|
|
|
|
|
|
/*
|