| // Copyright 2019 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. | 
 | library zx; | 
 |  | 
 | @transport("Syscall") | 
 | closed protocol Pc { | 
 |     /// ## Summary | 
 |     /// | 
 |     /// TODO(https://fxbug.dev/42108078) | 
 |     /// | 
 |     /// ## Declaration | 
 |     /// | 
 |     /// ```c | 
 |     /// #include <zircon/syscalls.h> | 
 |     /// | 
 |     /// zx_status_t zx_pc_firmware_tables(zx_handle_t handle, | 
 |     ///                                   zx_paddr_t* acpi_rsdp, | 
 |     ///                                   zx_paddr_t* smbios); | 
 |     /// ``` | 
 |     /// | 
 |     /// ## Description | 
 |     /// | 
 |     /// TODO(https://fxbug.dev/42108078) | 
 |     /// | 
 |     /// ## Rights | 
 |     /// | 
 |     /// *handle* must have resource kind `ZX_RSRC_KIND_ROOT`. | 
 |     /// | 
 |     /// ## Return value | 
 |     /// | 
 |     /// TODO(https://fxbug.dev/42108078) | 
 |     /// | 
 |     /// ## Errors | 
 |     /// | 
 |     /// TODO(https://fxbug.dev/42108078) | 
 |     /// | 
 |     /// ## See also | 
 |     /// | 
 |     /// TODO(https://fxbug.dev/42108078) | 
 |     strict FirmwareTables(resource struct { | 
 |         handle Handle:RESOURCE; | 
 |     }) -> (struct { | 
 |         acpi_rsdp Paddr; | 
 |         smbios Paddr; | 
 |     }) error Status; | 
 | }; |