# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64, arm64, riscv64
AF_INET = 2
AF_INET6 = 28
IPPROTO_UDPLITE = 136
SOCK_DGRAM = 2
SYS_getsockopt = 118
SYS_setsockopt = 105
SYS_socket = 97
UDPLITE_RECV_CSCOV = 4
UDPLITE_SEND_CSCOV = 2