# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
ADF_CFG_MAX_KEY_LEN_IN_BYTES = 64
ADF_CFG_MAX_SECTION_LEN_IN_BYTES = 64
ADF_CFG_MAX_VAL_LEN_IN_BYTES = 64
ADF_DEC = 0
ADF_HEX = 1
ADF_KEYS_POSTFIX_MAX_LEN = 32
ADF_STR = 2
AT_FDCWD = 18446744073709551516
DEV_C3XXX = 5
DEV_C3XXXVF = 6
DEV_C62X = 3
DEV_C62XVF = 4
DEV_DH895XCC = 1
DEV_DH895XCCVF = 2
DEV_UNKNOWN = 0
IOCTL_CONFIG_SYS_RESOURCE_PARAMETERS = 1074356480, mips64le:ppc64le:2148098304
IOCTL_GET_NUM_DEVICES = 1074028804, mips64le:ppc64le:2147770628
IOCTL_START_ACCEL_DEV = 1074356482, mips64le:ppc64le:2148098306
IOCTL_STATUS_ACCEL_DEV = 1074028803, mips64le:ppc64le:2147770627
IOCTL_STOP_ACCEL_DEV = 1074356481, mips64le:ppc64le:2148098305
MAX_DEVICE_NAME_SIZE = 32
__NR_ioctl = 54, amd64:16, arm64:riscv64:29, mips64le:5015
__NR_openat = 56, 386:295, amd64:257, arm:322, mips64le:5247, ppc64le:286, s390x:288