# AUTOGENERATED FILE
AT_FDCWD = 18446744073709551516
O_RDWR = 2
SMACK_CIPSO_MAXCATNUM = 184
SMACK_CIPSO_MAXLEVEL = 255
SMACK_PTRACE_DEFAULT = 0
SMACK_PTRACE_MAX = 2
__NR_fsetxattr = 190
__NR_lsetxattr = 189
__NR_openat = 257
__NR_read = 0
__NR_setxattr = 188
__NR_write = 1