Searched refs:GUEST_ACPI_BASE (Results 1 – 3 of 3) sorted by relevance
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()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()[all …]
336 const uint64_t acpi_base = GUEST_ACPI_BASE; in make_chosen_node()1094 finalise_one_node(gc, fdt, "/chosen/module", GUEST_ACPI_BASE, in libxl__arch_domain_finalise_hw_description()
411 #define GUEST_ACPI_BASE 0x20000000ULL macro
Completed in 5 milliseconds