# AUTOGENERATED FILE
# AT_FDCWD is not set
RNDADDENTROPY = 2148028931
RNDADDTOENTCNT = 2147766785
RNDCLEARPOOL = 536891910
RNDGETENTCNT = 1074024960
RNDZAPENTCNT = 536891908
__NR_ioctl = 5015
__NR_openat = 5247