| // 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. |
| |
| // !!! THIS FILE IS NOT YET USED !!! |
| // See //zircon/system/public/zircon/syscalls.banjo. |
| // !!! THIS FILE IS NOT YET USED !!! |
| |
| library zz; |
| |
| [Transport="Syscall"] |
| protocol Ktrace { |
| // TODO(scottmg): This is another one where it's: |
| // (handle, data, offset, data_size) |
| // rather than: |
| // (handle, data, data_size, offset). |
| [In0="handle<resource>:kind=ROOT", |
| In1="mutable<vector<byte>>"] |
| Read(handle<resource> handle, vector<byte> data, uint32 offset) -> |
| (status status, usize actual); |
| |
| // TODO(scottmg): syscalls.banjo had the length of |ptr| being |action|? |
| [In0="handle<resource>:kind=ROOT", |
| In3="mutable<byte>"] |
| Control(handle<resource> handle, uint32 action, uint32 options, byte ptr) -> (status status); |
| |
| [In0="handle<resource>:kind=ROOT"] |
| Write(handle<resource> handle, uint32 id, uint32 arg0, uint32 arg1) -> (status status); |
| }; |