| D | p256_32.h | 853 uint32_t x511; in fiat_p256_mul() local
855 fiat_p256_addcarryx_u32(&x511, &x512, 0x0, x507, x510); in fiat_p256_mul()
882 fiat_p256_addcarryx_u32(&x529, &x530, x528, x511, x479); in fiat_p256_mul()
1902 uint32_t x511; in fiat_p256_square() local
1904 fiat_p256_addcarryx_u32(&x511, &x512, 0x0, x507, x510); in fiat_p256_square()
1931 fiat_p256_addcarryx_u32(&x529, &x530, x528, x511, x479); in fiat_p256_square()
|