blob: a75093efff9e66896cdfc487e353acc1866ebb6e [file] [log] [blame]
// 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.
// TODO(fxb/39732): This should be read as "library zx".
library zz;
[Transport = "Syscall"]
protocol guest {
/// Create a guest.
/// Rights: resource must have resource kind ZX_RSRC_KIND_HYPERVISOR.
guest_create(handle<resource> resource, uint32 options)
-> (status status, handle<guest> guest_handle, handle<vmar> vmar_handle);
/// Sets a trap within a guest.
/// Rights: handle must be of type ZX_OBJ_TYPE_GUEST and have ZX_RIGHT_WRITE.
/// Rights: port_handle must be of type ZX_OBJ_TYPE_PORT and have ZX_RIGHT_WRITE.
guest_set_trap(handle<guest> handle,
uint32 kind,
vaddr addr,
usize size,
handle<port> port_handle,
uint64 key)
-> (status status);
};