| D | p256_32.h | 469 uint32_t x255; in fiat_p256_mul() local
471 fiat_p256_mulx_u32(&x255, &x256, x3, (arg2[1])); in fiat_p256_mul()
477 fiat_p256_addcarryx_u32(&x259, &x260, 0x0, x255, x258); in fiat_p256_mul()
1518 uint32_t x255; in fiat_p256_square() local
1520 fiat_p256_mulx_u32(&x255, &x256, x3, (arg1[1])); in fiat_p256_square()
1526 fiat_p256_addcarryx_u32(&x259, &x260, 0x0, x255, x258); in fiat_p256_square()
2790 fiat_p256_uint1 x255; in fiat_p256_from_montgomery() local
2791 fiat_p256_addcarryx_u32(&x254, &x255, x221, 0x0, (fiat_p256_uint1)x252); in fiat_p256_from_montgomery()
|