TODO(fxbug.dev/32938)
#include <zircon/syscalls.h>
zx_status_t zx_pc_firmware_tables(zx_handle_t handle,
zx_paddr_t* acpi_rsdp,
zx_paddr_t* smbios);
TODO(fxbug.dev/32938)
handle must have resource kind ZX_RSRC_KIND_ROOT.
TODO(fxbug.dev/32938)
TODO(fxbug.dev/32938)
TODO(fxbug.dev/32938)