# 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 = 7
__NR_lsetxattr = 6
__NR_openat = 56
__NR_read = 63
__NR_setxattr = 5
__NR_write = 64