github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/guest.txt (about)

     1  # Copyright 2022 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  # See https://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/guest.fidl
     5  
     6  include <zircon/syscalls.h>
     7  
     8  resource zx_guest[zx_handle]
     9  
    10  # The documentation does not mention any values for `options`, so we could
    11  # express it as `const[0]`, but it might be good to test that `options`
    12  # continues to mean nothing.
    13  zx_guest_create(handle zx_resource, options int32, guest ptr[out, zx_guest], vmar ptr[out, zx_vmar])
    14  
    15  zx_guest_set_trap(handle zx_guest, kind int32, vaddr intptr, size int64, port_handle zx_port, key int64)
    16  
    17  type int64p int64[0:18446744073709551615, 4096]
    18  type intptrp intptr[0:18446744073709551615, 4096]
    19  zx_guest_set_trap$ZX_GUEST_TRAP_BELL(handle const[ZX_GUEST_TRAP_BELL], kind int32, vaddr intptrp, size int64p, port_handle zx_port, key const[ZX_PKT_TYPE_GUEST_BELL])
    20  zx_guest_set_trap$ZX_GUEST_TRAP_MEM(handle const[ZX_GUEST_TRAP_MEM], kind int32, vaddr intptrp, size int64p, port_handle const[ZX_HANDLE_INVALID], key const[ZX_PKT_TYPE_GUEST_MEM])
    21  
    22  zx_guest_set_trap$ZX_GUEST_TRAP_IO(handle const[ZX_GUEST_TRAP_IO], kind int32, vaddr intptr, size int64, port_handle const[ZX_HANDLE_INVALID], key const[ZX_PKT_TYPE_GUEST_IO])