Searched refs:FADT (Results 1 – 1 of 1) sorted by relevance
60 FADT, enumerator155 acpitables[FADT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()156 acpitables[FADT].size = sizeof(struct acpi_table_fadt); in libxl__allocate_acpi_tables()157 dom->acpi_modules[0].length += ROUNDUP(acpitables[FADT].size, 3); in libxl__allocate_acpi_tables()229 xsdt->table_offset_entry[2] = acpitables[FADT].addr; in make_acpi_xsdt()344 uint64_t offset = acpitables[FADT].addr - GUEST_ACPI_BASE; in make_acpi_fadt()355 make_acpi_header(&fadt->header, "FACP", acpitables[FADT].size, 5); in make_acpi_fadt()357 acpitables[FADT].size); in make_acpi_fadt()
Completed in 11 milliseconds