.dsdt_15cpu_len = 0
};
- acpi_build_tables(&config, ACPI_PHYSICAL_ADDRESS);
+ hvmloader_acpi_build_tables(&config, ACPI_PHYSICAL_ADDRESS);
}
static void ovmf_create_smbios_tables(void)
.dsdt_15cpu_len = dsdt_15cpu_len,
};
- acpi_build_tables(&config, ACPI_PHYSICAL_ADDRESS);
+ hvmloader_acpi_build_tables(&config, ACPI_PHYSICAL_ADDRESS);
}
static void rombios_create_mp_tables(void)
.dsdt_15cpu_len = 0,
};
- acpi_build_tables(&config, rsdp);
+ hvmloader_acpi_build_tables(&config, rsdp);
add_table(rsdp);
}
#include "config.h"
#include "hypercall.h"
#include "ctype.h"
+#include "acpi/acpi2_0.h"
#include <stdint.h>
#include <xen/xen.h>
#include <xen/memory.h>
return ((hpet_id >> 16) == 0x8086);
}
+void hvmloader_acpi_build_tables(struct acpi_config *config,
+ unsigned int physical)
+{
+ acpi_build_tables(config, physical);
+}
+
/*
* Local variables:
* mode: C
bool check_overlap(uint64_t start, uint64_t size,
uint64_t reserved_start, uint64_t reserved_size);
+struct acpi_config;
+void hvmloader_acpi_build_tables(struct acpi_config *config,
+ unsigned int physical);
+
#endif /* __HVMLOADER_UTIL_H__ */
/*