lib/machina/arch/x86/acpi.h

// Copyright 2017 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef GARNET_LIB_MACHINA_ARCH_X86_ACPI_H_
#define GARNET_LIB_MACHINA_ARCH_X86_ACPI_H_

#include "garnet/lib/machina/phys_mem.h"

namespace machina {

// The address of the ACPI table is significant, as this is typically where the
// ACPICA library starts to scan for an ACPI RSDP. If we are unable to pass the
// address directly to a kernel, or if the address we pass is ignored, this
// provides a fallback method for locating it.
static constexpr uintptr_t kAcpiOffset = 0xe0000;

struct AcpiConfig {
  const char* dsdt_path;
  const char* mcfg_path;
  zx_vaddr_t io_apic_addr;
  size_t num_cpus;
};

zx_status_t create_acpi_table(const struct AcpiConfig& cfg,
                              const machina::PhysMem& phys_mem);

}  // namespace machina

#endif  // GARNET_LIB_MACHINA_ARCH_X86_ACPI_H_