# Copyright 2022 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.

# See https://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/guest.fidl

include <zircon/syscalls.h>

resource zx_guest[zx_handle]

# The documentation does not mention any values for `options`, so we could
# express it as `const[0]`, but it might be good to test that `options`
# continues to mean nothing.
zx_guest_create(handle zx_resource, options int32, guest ptr[out, zx_guest], vmar ptr[out, zx_vmar])

zx_guest_set_trap(handle zx_guest, kind int32, vaddr intptr, size int64, port_handle zx_port, key int64)

type int64p int64[0:18446744073709551615, 4096]
type intptrp intptr[0:18446744073709551615, 4096]
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])
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])

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])