Searched refs:MASK51 (Results 1 – 1 of 1) sorted by relevance
318 h1 |= h0 >> 51; h0 &= MASK51; in fe51_frombytes()319 h2 |= h1 >> 51; h1 &= MASK51; in fe51_frombytes()320 h3 |= h2 >> 51; h2 &= MASK51; in fe51_frombytes()321 h4 |= h3 >> 51; h3 &= MASK51; in fe51_frombytes()348 h1 += h0 >> 51; h0 &= MASK51; in fe51_tobytes()349 h2 += h1 >> 51; h1 &= MASK51; in fe51_tobytes()350 h3 += h2 >> 51; h2 &= MASK51; in fe51_tobytes()351 h4 += h3 >> 51; h3 &= MASK51; in fe51_tobytes()352 h4 &= MASK51; in fe51_tobytes()448 g3 += g2 >> 51; g2 &= MASK51; in fe51_mul()[all …]
Completed in 18 milliseconds
