| /external/boringssl/src/third_party/fiat/ |
| D | curve25519_64_msvc.h | 281 fiat_25519_uint1 x80; in fiat_25519_carry_mul() local
547 fiat_25519_uint1 x80; in fiat_25519_carry_square() local
886 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | p256_64_msvc.h | 238 fiat_p256_uint1 x80; in fiat_p256_mul() local
545 fiat_p256_uint1 x80; in fiat_p256_square() local
992 fiat_p256_uint1 x80; in fiat_p256_from_montgomery() local
1147 uint64_t x80; in fiat_p256_to_montgomery() local
1832 uint64_t x80; in fiat_p256_divstep() local
|
| D | p256_64.h | 247 fiat_p256_uint1 x80; in fiat_p256_mul() local
554 fiat_p256_uint1 x80; in fiat_p256_square() local
1001 fiat_p256_uint1 x80; in fiat_p256_from_montgomery() local
1156 uint64_t x80; in fiat_p256_to_montgomery() local
1841 uint64_t x80; in fiat_p256_divstep() local
|
| D | curve25519_32.h | 260 uint64_t x80; in fiat_25519_carry_mul() local
574 uint64_t x80; in fiat_25519_carry_square() local
1066 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | curve25519_64.h | 594 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | p256_32.h | 242 uint32_t x80; in fiat_p256_mul() local
1277 uint32_t x80; in fiat_p256_square() local
2544 uint32_t x80; in fiat_p256_from_montgomery() local
3081 fiat_p256_uint1 x80; in fiat_p256_to_montgomery() local
4394 fiat_p256_uint1 x80; in fiat_p256_divstep() local
|
| /external/cronet/third_party/boringssl/src/third_party/fiat/ |
| D | curve25519_64_msvc.h | 281 fiat_25519_uint1 x80; in fiat_25519_carry_mul() local
547 fiat_25519_uint1 x80; in fiat_25519_carry_square() local
886 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | p256_64_msvc.h | 238 fiat_p256_uint1 x80; in fiat_p256_mul() local
545 fiat_p256_uint1 x80; in fiat_p256_square() local
992 fiat_p256_uint1 x80; in fiat_p256_from_montgomery() local
1147 uint64_t x80; in fiat_p256_to_montgomery() local
1832 uint64_t x80; in fiat_p256_divstep() local
|
| D | p256_64.h | 247 fiat_p256_uint1 x80; in fiat_p256_mul() local
554 fiat_p256_uint1 x80; in fiat_p256_square() local
1001 fiat_p256_uint1 x80; in fiat_p256_from_montgomery() local
1156 uint64_t x80; in fiat_p256_to_montgomery() local
1841 uint64_t x80; in fiat_p256_divstep() local
|
| D | curve25519_32.h | 260 uint64_t x80; in fiat_25519_carry_mul() local
574 uint64_t x80; in fiat_25519_carry_square() local
1066 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | curve25519_64.h | 594 uint8_t x80; in fiat_25519_to_bytes() local
|
| D | p256_32.h | 242 uint32_t x80; in fiat_p256_mul() local
1277 uint32_t x80; in fiat_p256_square() local
2544 uint32_t x80; in fiat_p256_from_montgomery() local
3081 fiat_p256_uint1 x80; in fiat_p256_to_montgomery() local
4394 fiat_p256_uint1 x80; in fiat_p256_divstep() local
|
| /external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | curve25519_32.h | 224 uint64_t x80 = ((uint64_t)(arg1[2]) * (arg2[1])); in fiat_25519_carry_mul() local
394 uint64_t x80 = (x67 + (x59 + (x52 + (x46 + (x22 + x21))))); in fiat_25519_carry_square() local
749 uint32_t x80 = (x78 >> 8); in fiat_25519_to_bytes() local
|
| D | p256_64.h | 245 fiat_p256_uint1 x80; in fiat_p256_mul() local
540 fiat_p256_uint1 x80; in fiat_p256_square() local
989 fiat_p256_uint1 x80; in fiat_p256_from_montgomery() local
|
| D | curve25519_64.h | 462 uint64_t x80 = (x79 >> 8); in fiat_25519_to_bytes() local
|
| D | p256_32.h | 242 uint32_t x80; in fiat_p256_mul() local
1249 uint32_t x80; in fiat_p256_square() local
2504 uint32_t x80; in fiat_p256_from_montgomery() local
|
| /external/rust/crates/ring/third_party/fiat/ |
| D | curve25519_32.h | 224 uint64_t x80 = ((uint64_t)(arg1[2]) * (arg2[1])); in fiat_25519_carry_mul() local
394 uint64_t x80 = (x67 + (x59 + (x52 + (x46 + (x22 + x21))))); in fiat_25519_carry_square() local
749 uint32_t x80 = (x78 >> 8); in fiat_25519_to_bytes() local
|
| D | p256_64.h | 245 fiat_p256_uint1 x80; in fiat_p256_mul() local
540 fiat_p256_uint1 x80; in fiat_p256_square() local
|
| D | curve25519_64.h | 462 uint64_t x80 = (x79 >> 8); in fiat_25519_to_bytes() local
|
| D | p256_32.h | 242 uint32_t x80; in fiat_p256_mul() local
1249 uint32_t x80; in fiat_p256_square() local
|
| /external/zstd/lib/compress/ |
| D | zstd_lazy.c | 1074 const size_t x80 = x01 << 7; in ZSTD_row_getMatchMask() local
|