github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/fuchsia_scpi.syz.txt (about)

     1  # Copyright 2018 The Fuchsia Authors. All rights reserved.
     2  # Use of this source code is governed by a BSD-style license that can be found in the LICENSE file.
     3  #
     4  # WARNING: This file is machine generated by fidlgen.
     5  
     6  include <fuchsia/scpi/c/fidl.h>
     7  
     8  fuchsia_scpi_DvfsOppHandles {
     9  	void	void
    10  } [packed]
    11  
    12  fuchsia_scpi_SystemStatusHandles {
    13  	void	void
    14  } [packed]
    15  
    16  fuchsia_scpi_SystemControllerGetDvfsInfoRequest {
    17  	hdr		fidl_message_header[5180313879959306240]
    18  	power_domain	int32
    19  } [packed]
    20  
    21  fuchsia_scpi_SystemControllerGetDvfsInfoRequestHandles {
    22  	void	void
    23  } [packed]
    24  
    25  fuchsia_scpi_SystemControllerGetDvfsInfoResponseHandles {
    26  	opps	array[fuchsia_scpi_DvfsOppHandles]
    27  } [packed]
    28  
    29  fuchsia_scpi_SystemControllerGetSystemStatusRequest {
    30  	hdr	fidl_message_header[7932902649815367680]
    31  } [packed]
    32  
    33  fuchsia_scpi_SystemControllerGetSystemStatusRequestHandles {
    34  	void	void
    35  } [packed]
    36  
    37  fuchsia_scpi_SystemControllerGetSystemStatusResponseHandles {
    38  	sys_status	fuchsia_scpi_SystemStatusHandles
    39  } [packed]
    40  
    41  resource zx_chan_fuchsia_scpi_SystemController_client[zx_chan]
    42  resource zx_chan_fuchsia_scpi_SystemController_server[zx_chan]
    43  
    44  zx_channel_create$fuchsia_scpi_SystemController(options const[0], out0 ptr[out, zx_chan_fuchsia_scpi_SystemController_client], out1 ptr[out, zx_chan_fuchsia_scpi_SystemController_server])
    45  fdio_service_connect$fuchsia_scpi_SystemController(path ptr[in, string["/svc/fuchsia.scpi.SystemController"]], handle zx_chan_fuchsia_scpi_SystemController_server)
    46  zx_channel_call$fuchsia_scpi_SystemControllerGetDvfsInfo(handle zx_chan_fuchsia_scpi_SystemController_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_scpi_SystemControllerGetDvfsInfoRequest, fuchsia_scpi_SystemControllerGetDvfsInfoRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_scpi_SystemControllerGetDvfsInfoResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    47  zx_channel_call$fuchsia_scpi_SystemControllerGetSystemStatus(handle zx_chan_fuchsia_scpi_SystemController_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_scpi_SystemControllerGetSystemStatusRequest, fuchsia_scpi_SystemControllerGetSystemStatusRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_scpi_SystemControllerGetSystemStatusResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])