# 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 = 226
__NR_lsetxattr = 225
__NR_openat = 288
__NR_read = 3
__NR_setxattr = 224
__NR_write = 4