# AUTOGENERATED FILE
# AT_FDCWD is not set
RNDADDENTROPY = 1074287107
RNDADDTOENTCNT = 1074024961
RNDCLEARPOOL = 20998
RNDGETENTCNT = 2147766784
RNDZAPENTCNT = 20996
__NR_ioctl = 29
__NR_openat = 56