D | p256_32.h | 398 fiat_p256_uint1 x208; in fiat_p256_mul() local 399 fiat_p256_addcarryx_u32(&x207, &x208, x206, x189, x157); in fiat_p256_mul() 450 fiat_p256_addcarryx_u32(&x241, &x242, x240, 0x0, x208); in fiat_p256_mul() 1447 fiat_p256_uint1 x208; in fiat_p256_square() local 1448 fiat_p256_addcarryx_u32(&x207, &x208, x206, x189, x157); in fiat_p256_square() 1499 fiat_p256_addcarryx_u32(&x241, &x242, x240, 0x0, x208); in fiat_p256_square() 2720 uint32_t x208; in fiat_p256_from_montgomery() local 2722 fiat_p256_addcarryx_u32(&x208, &x209, x207, 0x0, x186); in fiat_p256_from_montgomery() 2764 fiat_p256_addcarryx_u32(&x236, &x237, x235, x230, x208); in fiat_p256_from_montgomery()
|