github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/fuchsia_net.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/net/c/fidl.h>
     7  fuchsia_net_LookupIpOptions = fuchsia_net_LookupIpOptions_V4_ADDRS, fuchsia_net_LookupIpOptions_V6_ADDRS, fuchsia_net_LookupIpOptions_CNAME_LOOKUP
     8  
     9  fuchsia_net_NameLookup_LookupIp_ResponseHandles {
    10  	addr	fuchsia_net_IpAddressInfoHandles
    11  } [packed]
    12  
    13  fuchsia_net_NameLookup_LookupHostname_ResponseHandles {
    14  	void	void
    15  } [packed]
    16  
    17  fuchsia_net_IpAddressInfoHandles {
    18  	ipv4_addrs	array[fuchsia_net_Ipv4AddressHandles]
    19  	ipv6_addrs	array[fuchsia_net_Ipv6AddressHandles]
    20  } [packed]
    21  
    22  fuchsia_net_Ipv4AddressInLine {
    23  	addrInLine	array[int8, 4]
    24  } [packed]
    25  
    26  fuchsia_net_Ipv4AddressOutOfLine {
    27  	void	void
    28  } [packed]
    29  
    30  fuchsia_net_Ipv4AddressHandles {
    31  	void	void
    32  } [packed]
    33  
    34  fuchsia_net_Ipv6AddressInLine {
    35  	addrInLine	array[int8, 16]
    36  } [packed]
    37  
    38  fuchsia_net_Ipv6AddressOutOfLine {
    39  	void	void
    40  } [packed]
    41  
    42  fuchsia_net_Ipv6AddressHandles {
    43  	void	void
    44  } [packed]
    45  
    46  fuchsia_net_NameLookup_LookupIp_ResultHandles [
    47  	response	fuchsia_net_NameLookup_LookupIp_ResponseHandles
    48  ] [varlen]
    49  
    50  fuchsia_net_NameLookup_LookupHostname_ResultHandles [
    51  	response	fuchsia_net_NameLookup_LookupHostname_ResponseHandles
    52  ] [varlen]
    53  
    54  fuchsia_net_IpAddressInLine [
    55  	ipv4InLine	fidl_union_member[1, fuchsia_net_Ipv4AddressInLine]
    56  	ipv6InLine	fidl_union_member[2, fuchsia_net_Ipv6AddressInLine]
    57  ]
    58  
    59  fuchsia_net_IpAddressOutOfLine [
    60  	ipv4OutOfLine	fuchsia_net_Ipv4AddressOutOfLine
    61  	ipv6OutOfLine	fuchsia_net_Ipv6AddressOutOfLine
    62  ] [varlen]
    63  
    64  fuchsia_net_IpAddressHandles [
    65  	ipv4	fuchsia_net_Ipv4AddressHandles
    66  	ipv6	fuchsia_net_Ipv6AddressHandles
    67  ] [varlen]
    68  
    69  fuchsia_net_ConnectivityOnNetworkReachableEventHandles {
    70  	void	void
    71  } [packed]
    72  
    73  resource zx_chan_fuchsia_net_Connectivity_client[zx_chan]
    74  resource zx_chan_fuchsia_net_Connectivity_server[zx_chan]
    75  
    76  zx_channel_create$fuchsia_net_Connectivity(options const[0], out0 ptr[out, zx_chan_fuchsia_net_Connectivity_client], out1 ptr[out, zx_chan_fuchsia_net_Connectivity_server])
    77  fdio_service_connect$fuchsia_net_Connectivity(path ptr[in, string["/svc/fuchsia.net.Connectivity"]], handle zx_chan_fuchsia_net_Connectivity_server)
    78  zx_channel_read$fuchsia_net_ConnectivityOnNetworkReachable(handle zx_chan_fuchsia_net_Connectivity_client, options const[0], bytes ptr[out, array[int8, ZX_CHANNEL_MAX_MSG_BYTES]], num_bytes bytesize[bytes], handles ptr[out, fuchsia_net_ConnectivityOnNetworkReachableEventHandles], num_handles bytesize[handles], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
    79  
    80  fuchsia_net_NameLookupLookupIpRequest {
    81  	hdr			fidl_message_header[3513418264719917056]
    82  	hostnameInLine		fidl_string
    83  	options			flags[fuchsia_net_LookupIpOptions, int8]
    84  	hostnameOutOfLine	fidl_aligned[stringnoz]
    85  } [packed]
    86  
    87  fuchsia_net_NameLookupLookupIpRequestHandles {
    88  	void	void
    89  } [packed]
    90  
    91  fuchsia_net_NameLookupLookupIpResponseHandles {
    92  	result	fuchsia_net_NameLookup_LookupIp_ResultHandles
    93  } [packed]
    94  
    95  fuchsia_net_NameLookupLookupHostnameRequest {
    96  	hdr		fidl_message_header[1682143474989662208]
    97  	addrInLine	fuchsia_net_IpAddressInLine
    98  	addrOutOfLine	fuchsia_net_IpAddressOutOfLine
    99  } [packed]
   100  
   101  fuchsia_net_NameLookupLookupHostnameRequestHandles {
   102  	addr	fuchsia_net_IpAddressHandles
   103  } [packed]
   104  
   105  fuchsia_net_NameLookupLookupHostnameResponseHandles {
   106  	result	fuchsia_net_NameLookup_LookupHostname_ResultHandles
   107  } [packed]
   108  
   109  resource zx_chan_fuchsia_net_NameLookup_client[zx_chan]
   110  resource zx_chan_fuchsia_net_NameLookup_server[zx_chan]
   111  
   112  zx_channel_create$fuchsia_net_NameLookup(options const[0], out0 ptr[out, zx_chan_fuchsia_net_NameLookup_client], out1 ptr[out, zx_chan_fuchsia_net_NameLookup_server])
   113  fdio_service_connect$fuchsia_net_NameLookup(path ptr[in, string["/svc/fuchsia.net.NameLookup"]], handle zx_chan_fuchsia_net_NameLookup_server)
   114  zx_channel_call$fuchsia_net_NameLookupLookupIp(handle zx_chan_fuchsia_net_NameLookup_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_net_NameLookupLookupIpRequest, fuchsia_net_NameLookupLookupIpRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_net_NameLookupLookupIpResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])
   115  zx_channel_call$fuchsia_net_NameLookupLookupHostname(handle zx_chan_fuchsia_net_NameLookup_client, options const[0], deadline zx_time, args ptr[in, fidl_call_args[fuchsia_net_NameLookupLookupHostnameRequest, fuchsia_net_NameLookupLookupHostnameRequestHandles, array[int8, ZX_CHANNEL_MAX_MSG_BYTES], fuchsia_net_NameLookupLookupHostnameResponseHandles]], actual_bytes ptr[out, int32], actual_handles ptr[out, int32])