# 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.

include <zircon/syscalls.h>

# architecture-dependant
restricted_read(state ptr[in, array[int8]], state_size len[state])