blob: dc40e9395cdadbb94a8925fbb4402e36d514c7c7 [file] [log] [blame]
// 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.
library zx;
// This file is copies of some syscalls that were interesting for the kernel
// header generator.
using mutable_vector_void = vector<handle>;
using optional_uint32 = uint32;
using vector_handle_u32size = vector<byte>;
using vector_paddr = vector<paddr>;
using vector_void_u32size = vector<byte>;
protocol KernelCases {
// Output vector to out_ptr, and vector<paddr> staying zx_paddr_t (not
// turning into uint64).
BtiPin(handle<bti> handle,
uint32 options,
handle<vmo> vmo,
uint64 offset,
uint64 size) ->
(status status, vector_paddr addrs, handle<pmt> pmt);
// Still have NORETURN markup for kernel (but only this one).
// inout_ptr.
MtraceControl(handle<resource> handle,
uint32 kind,
uint32 action,
uint32 options,
mutable_vector_void ptr) ->
(status status);
// vector of handles isn't turned into user_out_handle*, rather stays as
// user_out_ptr<zx_handle_t>, because it's not just one.
Read(handle<channel> handle,
uint32 options) ->
(status status,
vector_void_u32size bytes,
vector_handle_u32size handles,
optional_uint32 actual_bytes,
optional_uint32 actual_handles);
compiled_out_in_non_test(int32 a, int32 b) -> (status status);