TODO(fxbug.dev/32938)
#include <zircon/syscalls.h> zx_status_t zx_ioports_release(zx_handle_t resource, uint16_t io_addr, uint32_t len);
TODO(fxbug.dev/32938)
resource must have resource kind ZX_RSRC_KIND_IOPORT.
TODO(fxbug.dev/32938)
TODO(fxbug.dev/32938)
TODO(fxbug.dev/32938)