| // 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. |
| |
| #pragma once |
| |
| #include <zircon/types.h> |
| |
| __BEGIN_CDECLS |
| |
| /** |
| * Create an ACPI 1.0 table. |
| * |
| * @param addr The mapped address of guest physical memory. |
| * @param size The size of guest physical memory. |
| * @param acpi_off The offset to write the ACPI table. |
| */ |
| zx_status_t guest_create_acpi_table(uintptr_t addr, size_t size, uintptr_t acpi_off); |
| |
| __END_CDECLS |