Searched refs:MASK51 (Results 1 – 2 of 2) sorted by relevance
132 d[0] = w & MASK51; in f255_sub()135 d[1] = w & MASK51; in f255_sub()138 d[2] = w & MASK51; in f255_sub()141 d[3] = w & MASK51; in f255_sub()151 d[4] &= MASK51; in f255_sub()257 d[0] = w & MASK51; in f255_mul()260 d[1] = w & MASK51; in f255_mul()263 d[2] = w & MASK51; in f255_mul()266 d[3] = w & MASK51; in f255_mul()269 d[4] = w & MASK51; in f255_mul()[all …]
308 h1 |= h0 >> 51; h0 &= MASK51; in fe51_frombytes()309 h2 |= h1 >> 51; h1 &= MASK51; in fe51_frombytes()310 h3 |= h2 >> 51; h2 &= MASK51; in fe51_frombytes()311 h4 |= h3 >> 51; h3 &= MASK51; in fe51_frombytes()338 h1 += h0 >> 51; h0 &= MASK51; in fe51_tobytes()339 h2 += h1 >> 51; h1 &= MASK51; in fe51_tobytes()340 h3 += h2 >> 51; h2 &= MASK51; in fe51_tobytes()341 h4 += h3 >> 51; h3 &= MASK51; in fe51_tobytes()342 h4 &= MASK51; in fe51_tobytes()438 g3 += g2 >> 51; g2 &= MASK51; in fe51_mul()[all …]