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