Searched defs:wrpkey (Results 1 – 1 of 1) sorted by relevance
122 unsigned char *wrpkey = NULL, *agenkey = NULL, *bgenkey = NULL; in test_ml_kem() local245 unsigned char *wrpkey = NULL, *agenkey = NULL, *bgenkey = NULL; in test_non_derandomised_ml_kem() local