github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/fuchsia_devicesettings.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/devicesettings/c/fidl.h>
     7  fuchsia_devicesettings_ValueType = fuchsia_devicesettings_ValueType_number, fuchsia_devicesettings_ValueType_text
     8  
     9  fuchsia_devicesettings_DeviceSettingsManagerGetIntegerRequest {
    10  	hdr		fidl_message_header[6687262400539787264]
    11  	keyInLine	fidl_string
    12  	keyOutOfLine	fidl_aligned[stringnoz]
    13  } [packed]
    14  
    15  fuchsia_devicesettings_DeviceSettingsManagerGetIntegerRequestHandles {
    16  	void	void
    17  } [packed]
    18  
    19  fuchsia_devicesettings_DeviceSettingsManagerGetIntegerResponseHandles {
    20  	void	void
    21  } [packed]
    22  
    23  fuchsia_devicesettings_DeviceSettingsManagerGetStringRequest {
    24  	hdr		fidl_message_header[5471756758504439808]
    25  	keyInLine	fidl_string
    26  	keyOutOfLine	fidl_aligned[stringnoz]
    27  } [packed]
    28  
    29  fuchsia_devicesettings_DeviceSettingsManagerGetStringRequestHandles {
    30  	void	void
    31  } [packed]
    32  
    33  fuchsia_devicesettings_DeviceSettingsManagerGetStringResponseHandles {
    34  	void	void
    35  } [packed]
    36  
    37  fuchsia_devicesettings_DeviceSettingsManagerSetIntegerRequest {
    38  	hdr		fidl_message_header[4119408201378562048]
    39  	keyInLine	fidl_string
    40  	val		int64
    41  	keyOutOfLine	fidl_aligned[stringnoz]
    42  } [packed]
    43  
    44  fuchsia_devicesettings_DeviceSettingsManagerSetIntegerRequestHandles {
    45  	void	void
    46  } [packed]
    47  
    48  fuchsia_devicesettings_DeviceSettingsManagerSetIntegerResponseHandles {
    49  	void	void
    50  } [packed]
    51  
    52  fuchsia_devicesettings_DeviceSettingsManagerSetStringRequest {
    53  	hdr		fidl_message_header[2446327292067053568]
    54  	keyInLine	fidl_string
    55  	valInLine	fidl_string
    56  	keyOutOfLine	fidl_aligned[stringnoz]
    57  	valOutOfLine	fidl_aligned[stringnoz]
    58  } [packed]
    59  
    60  fuchsia_devicesettings_DeviceSettingsManagerSetStringRequestHandles {
    61  	void	void
    62  } [packed]
    63  
    64  fuchsia_devicesettings_DeviceSettingsManagerSetStringResponseHandles {
    65  	void	void
    66  } [packed]
    67  
    68  fuchsia_devicesettings_DeviceSettingsManagerWatchRequest {
    69  	hdr		fidl_message_header[4188689949463150592]
    70  	keyInLine	fidl_string
    71  	watcher		flags[fidl_handle_presence, int32]
    72  	keyOutOfLine	fidl_aligned[stringnoz]
    73  } [packed]
    74  
    75  fuchsia_devicesettings_DeviceSettingsManagerWatchRequestHandles {
    76  	watcher	zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_client
    77  } [packed]
    78  
    79  fuchsia_devicesettings_DeviceSettingsManagerWatchResponseHandles {
    80  	void	void
    81  } [packed]
    82  
    83  resource zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client[zx_chan]
    84  resource zx_chan_fuchsia_devicesettings_DeviceSettingsManager_server[zx_chan]
    85  
    86  zx_channel_create$fuchsia_devicesettings_DeviceSettingsManager(options const[0], out0 ptr[out, zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client], out1 ptr[out, zx_chan_fuchsia_devicesettings_DeviceSettingsManager_server])
    87  fdio_service_connect$fuchsia_devicesettings_DeviceSettingsManager(path ptr[in, string["/svc/fuchsia.devicesettings.DeviceSettingsManager"]], handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_server)
    88  zx_channel_call$fuchsia_devicesettings_DeviceSettingsManagerGetInteger(handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_devicesettings_DeviceSettingsManagerGetIntegerRequest, fuchsia_devicesettings_DeviceSettingsManagerGetIntegerRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_devicesettings_DeviceSettingsManagerGetIntegerResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    89  zx_channel_call$fuchsia_devicesettings_DeviceSettingsManagerGetString(handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_devicesettings_DeviceSettingsManagerGetStringRequest, fuchsia_devicesettings_DeviceSettingsManagerGetStringRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_devicesettings_DeviceSettingsManagerGetStringResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    90  zx_channel_call$fuchsia_devicesettings_DeviceSettingsManagerSetInteger(handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_devicesettings_DeviceSettingsManagerSetIntegerRequest, fuchsia_devicesettings_DeviceSettingsManagerSetIntegerRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_devicesettings_DeviceSettingsManagerSetIntegerResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    91  zx_channel_call$fuchsia_devicesettings_DeviceSettingsManagerSetString(handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_devicesettings_DeviceSettingsManagerSetStringRequest, fuchsia_devicesettings_DeviceSettingsManagerSetStringRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_devicesettings_DeviceSettingsManagerSetStringResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    92  zx_channel_call$fuchsia_devicesettings_DeviceSettingsManagerWatch(handle zx_chan_fuchsia_devicesettings_DeviceSettingsManager_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_devicesettings_DeviceSettingsManagerWatchRequest, fuchsia_devicesettings_DeviceSettingsManagerWatchRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_devicesettings_DeviceSettingsManagerWatchResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    93  
    94  fuchsia_devicesettings_DeviceSettingsWatcherOnChangeSettingsRequest {
    95  	hdr	fidl_message_header[2646667141100601344]
    96  	type_	flags[fuchsia_devicesettings_ValueType, int8]
    97  } [packed]
    98  
    99  fuchsia_devicesettings_DeviceSettingsWatcherOnChangeSettingsRequestHandles {
   100  	void	void
   101  } [packed]
   102  
   103  resource zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_client[zx_chan]
   104  resource zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_server[zx_chan]
   105  
   106  zx_channel_create$fuchsia_devicesettings_DeviceSettingsWatcher(options const[0], out0 ptr[out, zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_client], out1 ptr[out, zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_server])
   107  fdio_service_connect$fuchsia_devicesettings_DeviceSettingsWatcher(path ptr[in, string["/svc/"]], handle zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_server)
   108  zx_channel_write$fuchsia_devicesettings_DeviceSettingsWatcherOnChangeSettings(handle zx_chan_fuchsia_devicesettings_DeviceSettingsWatcher_client, options const[0], bytes ptr[in, fuchsia_devicesettings_DeviceSettingsWatcherOnChangeSettingsRequest], num_bytes bytesize[bytes], handles ptr[in, fuchsia_devicesettings_DeviceSettingsWatcherOnChangeSettingsRequestHandles], num_handles bytesize[handles])