Searched refs:byte12 (Results 1 – 7 of 7) sorted by relevance
579 uint8_t byte12; member668 uint8_t byte12; member
309 u8 byte12 /* byte12 */; member838 u8 byte12 /* byte12 */; member
311 u8 byte12 /* byte12 */; member733 u8 byte12 /* byte12 */; member
716 u8 byte12 /* byte12 */; member1205 u8 byte12 /* byte12 */; member
302 u8 byte12 /* byte12 */; member844 u8 byte12 /* byte12 */; member
1728 u8 byte12 /* byte12 */; member
10794 int32_t byte12 = (int32_t)(uint32_t)serialized.ptr[12U]; in libcrux_ml_dsa_simd_portable_encoding_t0_deserialize() local10828 coefficient7 |= (int32_t)((uint32_t)byte12 << 5U); in libcrux_ml_dsa_simd_portable_encoding_t0_deserialize()