Searched defs:value0 (Results 1 – 2 of 2) sorted by relevance
786 uint16_t value0 = (uint16_t)value; in libcrux_ml_kem_constant_time_ops_inz() local
4513 __be32 value0[2]; member