# Copyright 2022 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.

include <zircon/syscalls.h>
include <zircon/types.h>

# Never used as output
# resource zx_root[zx_handle]

zx_pc_firmware_tables(handle zx_handle, acpi_rsdp ptr[out, int64], smbios ptr[out, int64])