Searched defs:x144 (Results 1 – 3 of 3) sorted by relevance
306 uint64_t x144; in fiat_p256_mul() local619 uint64_t x144; in fiat_p256_square() local
248 uint32_t x144 = (x142 + x115); in fiat_25519_carry_mul() local
302 fiat_p256_uint1 x144; in fiat_p256_mul() local1351 fiat_p256_uint1 x144; in fiat_p256_square() local2624 uint32_t x144; in fiat_p256_from_montgomery() local