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> 5 6# TODO: limit value_ptr space somehow to make matches more frequent. 7zx_futex_wait(value_ptr ptr[in, int32], current_value int32, deadline zx_time) 8zx_futex_wake(value_ptr ptr[in, int32], wake_count intptr) 9zx_futex_requeue(value_ptr ptr[in, int32], wake_count intptr, current_value int32, requeue_ptr ptr[in, int32], requeue_count intptr) 10