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 13ACPI_STATUS acpi_evaluate_integer(ACPI_HANDLE handle, const char* name, uint64_t* out); 14ACPI_STATUS acpi_evaluate_method_intarg(ACPI_HANDLE handle, const char* name, uint64_t arg); 15 16__END_CDECLS; 17