syzkaller/sys/fuchsia/ports.txt

22 lines
787 B
Plaintext
Raw Normal View History

2017-09-25 06:47:30 +00:00
# Copyright 2017 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.
include <zircon/syscalls.h>
include <zircon/syscalls/port.h>
resource zx_port[zx_handle]
zx_port_create(options const[0], out ptr[out, zx_port])
# TODO: does size really always 0?
zx_port_queue(handle zx_port, packet ptr[in, zx_port_packet], size const[0])
zx_port_wait(handle zx_port, deadline zx_time, packet ptr[out, zx_port_packet], size const[0])
# TODO: we probably want to limit key space to get more matches between different calls.
zx_port_cancel(port zx_port, source zx_handle, key int64)
zx_port_packet {
key const[0, int64]
type const[ZX_PKT_TYPE_USER, int32]
status const[0, int32]
u64 array[int64, 4]
}