Symbol: PublicKeys_bytes
sbin/iked/sntrup761.c
1194
for (i = 0;i < PublicKeys_bytes;++i) *sk++ = pk[i];
sbin/iked/sntrup761.c
1196
Hash_prefix(sk,4,pk,PublicKeys_bytes);
sbin/iked/sntrup761.c
1214
Hash_prefix(cache,4,pk,PublicKeys_bytes);
sbin/iked/sntrup761.c
1234
const unsigned char *rho = pk + PublicKeys_bytes;