# 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])
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])
zx_port_cancel(port zx_port, source zx_handle, key proc[1000, 4])

zx_port_packet {
	key	proc[1000, 4, int64]
	type	const[ZX_PKT_TYPE_USER, int32]
	status	const[0, int32]
	u64	array[int64, 4]
}