1# Copyright 2017 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
4include <zircon/syscalls.h>
5include <zircon/syscalls/port.h>
6
7resource zx_port[zx_handle]
8
9zx_port_create(options const[0], out ptr[out, zx_port])
10zx_port_queue(handle zx_port, packet ptr[in, zx_port_packet], size const[0])
11zx_port_wait(handle zx_port, deadline zx_time, packet ptr[out, zx_port_packet], size const[0])
12zx_port_cancel(port zx_port, source zx_handle, key proc[1000, 4])
13
14zx_port_packet {
15	key	proc[1000, 4, int64]
16	type	const[ZX_PKT_TYPE_USER, int32]
17	status	const[0, int32]
18	u64	array[int64, 4]
19}
20