Searched defs:rateInBytes (Results 1 – 1 of 1) sorted by relevance
635 void Hacl_Hash_SHA3_loadState(uint32_t rateInBytes, uint8_t *input, uint64_t *s) in Hacl_Hash_SHA3_loadState()647 static void storeState(uint32_t rateInBytes, uint64_t *s, uint8_t *res) in storeState()658 void Hacl_Hash_SHA3_absorb_inner(uint32_t rateInBytes, uint8_t *block, uint64_t *s) in Hacl_Hash_SHA3_absorb_inner()667 uint32_t rateInBytes, in absorb()700 uint32_t rateInBytes, in Hacl_Hash_SHA3_squeeze0()729 uint32_t rateInBytes = rate / 8U; in Hacl_Hash_SHA3_keccak() local