| // 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") |
| protocol guest { |
| /// Create a guest. |
| /// Rights: resource must have resource kind ZX_RSRC_KIND_HYPERVISOR. |
| guest_create(resource struct { |
| resource handle:RESOURCE; |
| options uint32; |
| }) -> (resource struct { |
| status status; |
| guest_handle handle:GUEST; |
| vmar_handle handle:VMAR; |
| }); |
| |
| /// 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(resource struct { |
| handle handle:GUEST; |
| kind uint32; |
| addr vaddr; |
| size usize; |
| port_handle handle:PORT; |
| key uint64; |
| }) -> (struct { |
| status status; |
| }); |
| }; |