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)