github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/netbsd/vnet.txt (about)

     1  # Copyright 2018 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  syz_emit_ethernet(len len[packet], packet ptr[in, array[int8]])
     5  
     6  tcp_resources {
     7  	seq	int32
     8  	ack	int32
     9  }
    10  
    11  # These pseudo syscalls read a packet from tap device and extract tcp sequence and acknowledgement numbers from it.
    12  # They also adds the inc arguments to the returned values, this way sequence numbers get incremented.
    13  syz_extract_tcp_res(res ptr[out, tcp_resources], seq_inc int32, ack_inc int32)
    14  syz_extract_tcp_res$synack(res ptr[out, tcp_resources], seq_inc const[1], ack_inc const[0])