| /external/boringssl/src/third_party/fiat/ |
| curve25519_32.h | 235 uint64_t x131 = (x129 + x106); local
236 uint64_t x132 = (x131 >> 25);
237 uint32_t x133 = (uint32_t)(x131 & UINT32_C(0x1ffffff));
[all...] |
| p256_64.h | 287 uint64_t x131; local
289 fiat_p256_addcarryx_u64(&x131, &x132, x130, x125, x111);
328 fiat_p256_addcarryx_u64(&x157, &x158, x156, x147, x131);
600 uint64_t x131; local
602 fiat_p256_addcarryx_u64(&x131, &x132, x130, x125, x111);
641 fiat_p256_addcarryx_u64(&x157, &x158, x156, x147, x131);
[all...] |
| p256_32.h | 283 uint32_t x131; local
285 fiat_p256_mulx_u32(&x131, &x132, x107, UINT32_C(0xffffffff));
297 fiat_p256_addcarryx_u32(&x139, &x140, 0x0, x131, x107);
1332 uint32_t x131; local
2604 fiat_p256_uint1 x131; local
[all...] |
