Lines Matching refs:GUEST_ACPI_BASE
129 acpitables[RSDP].addr = GUEST_ACPI_BASE; in libxl__allocate_acpi_tables()
133 acpitables[XSDT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()
142 acpitables[GTDT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()
146 acpitables[MADT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()
155 acpitables[FADT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()
159 acpitables[DSDT].addr = GUEST_ACPI_BASE + dom->acpi_modules[0].length; in libxl__allocate_acpi_tables()
189 uint64_t offset = acpitables[RSDP].addr - GUEST_ACPI_BASE; in make_acpi_rsdp()
220 uint64_t offset = acpitables[XSDT].addr - GUEST_ACPI_BASE; in make_acpi_xsdt()
234 uint64_t offset = acpitables[GTDT].addr - GUEST_ACPI_BASE; in make_acpi_gtdt()
298 uint64_t offset = acpitables[MADT].addr - GUEST_ACPI_BASE; in make_acpi_madt()
340 uint64_t offset = acpitables[FADT].addr - GUEST_ACPI_BASE; in make_acpi_fadt()
359 uint64_t offset = acpitables[DSDT].addr - GUEST_ACPI_BASE; in make_acpi_dsdt()
383 dom->acpi_modules[0].guest_addr_out = GUEST_ACPI_BASE; in libxl__prepare_acpi()