| # Copyright 2019 The Fuchsia Authors. All rights reserved. |
| # Use of this source code is governed by a BSD-style license that can be |
| # found in the LICENSE file. |
| |
| # WARNING: THIS FILE IS MACHINE GENERATED. DO NOT EDIT. |
| # Generated from the banjo.examples.syzkaller.protocol.zx banjo file |
| |
| zx_status(st int32) |
| zx_time(t int64) |
| zx_duration(d int64) |
| zx_clock(cid int32) |
| zx_koid(id int64) |
| zx_vaddr(va int64) |
| zx_paddr(pa int64) |
| zx_paddr32(pa32 int32) |
| zx_gpaddr(gpa int64) |
| zx_off(o int64) |
| zx_rights(r int32) |
| zx_signals(sig int32) |
| zx_vm_option(op int32) |
