Searched defs:value_high (Results 1 – 2 of 2) sorted by relevance
2981 __le32 value_high; member
6927 int16_t value_high = in libcrux_ml_kem_vector_portable_arithmetic_montgomery_reduce_element() local