1 // Copyright 2017 The Fuchsia Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #pragma once
6 
7 #include <acpica/acpi.h>
8 #include <zircon/compiler.h>
9 #include <zircon/types.h>
10 
11 __BEGIN_CDECLS;
12 
13 ACPI_STATUS acpi_evaluate_integer(ACPI_HANDLE handle, const char* name, uint64_t* out);
14 ACPI_STATUS acpi_evaluate_method_intarg(ACPI_HANDLE handle, const char* name, uint64_t arg);
15 
16 __END_CDECLS;
17