/aosp_15_r20/external/boringssl/src/third_party/fiat/ |
H A D | curve25519_64_msvc.h | 262 uint64_t x61; in fiat_25519_carry_mul() local 528 uint64_t x61; in fiat_25519_carry_square() local 867 uint64_t x61; in fiat_25519_to_bytes() local 1083 uint64_t x61; in fiat_25519_from_bytes() local
|
H A D | curve25519_32.h | 241 uint64_t x61; in fiat_25519_carry_mul() local 555 uint64_t x61; in fiat_25519_carry_square() local 1047 uint8_t x61; in fiat_25519_to_bytes() local 1305 uint32_t x61; in fiat_25519_from_bytes() local
|
H A D | p256_64_msvc.h | 219 fiat_p256_uint1 x61; in fiat_p256_mul() local 526 fiat_p256_uint1 x61; in fiat_p256_square() local 973 uint64_t x61; in fiat_p256_from_montgomery() local 1128 uint64_t x61; in fiat_p256_to_montgomery() local 1813 uint64_t x61; in fiat_p256_divstep() local
|
H A D | p256_64.h | 242 fiat_p256_uint1 x61; in fiat_p256_mul() local 556 fiat_p256_uint1 x61; in fiat_p256_square() local 1003 uint64_t x61; in fiat_p256_from_montgomery() local 1158 uint64_t x61; in fiat_p256_to_montgomery() local 1843 uint64_t x61; in fiat_p256_divstep() local
|
H A D | curve25519_64.h | 575 uint64_t x61; in fiat_25519_to_bytes() local 791 uint64_t x61; in fiat_25519_from_bytes() local
|
/aosp_15_r20/external/cronet/third_party/boringssl/src/third_party/fiat/ |
H A D | curve25519_64_msvc.h | 262 uint64_t x61; in fiat_25519_carry_mul() local 528 uint64_t x61; in fiat_25519_carry_square() local 867 uint64_t x61; in fiat_25519_to_bytes() local 1083 uint64_t x61; in fiat_25519_from_bytes() local
|
H A D | curve25519_32.h | 241 uint64_t x61; in fiat_25519_carry_mul() local 555 uint64_t x61; in fiat_25519_carry_square() local 1047 uint8_t x61; in fiat_25519_to_bytes() local 1305 uint32_t x61; in fiat_25519_from_bytes() local
|
H A D | p256_64_msvc.h | 219 fiat_p256_uint1 x61; in fiat_p256_mul() local 526 fiat_p256_uint1 x61; in fiat_p256_square() local 973 uint64_t x61; in fiat_p256_from_montgomery() local 1128 uint64_t x61; in fiat_p256_to_montgomery() local 1813 uint64_t x61; in fiat_p256_divstep() local
|
H A D | p256_64.h | 242 fiat_p256_uint1 x61; in fiat_p256_mul() local 556 fiat_p256_uint1 x61; in fiat_p256_square() local 1003 uint64_t x61; in fiat_p256_from_montgomery() local 1158 uint64_t x61; in fiat_p256_to_montgomery() local 1843 uint64_t x61; in fiat_p256_divstep() local
|
H A D | curve25519_64.h | 575 uint64_t x61; in fiat_25519_to_bytes() local 791 uint64_t x61; in fiat_25519_from_bytes() local
|
H A D | p256_32.h | 223 uint32_t x61; in fiat_p256_mul() local 1258 uint32_t x61; in fiat_p256_square() local 2525 uint32_t x61; in fiat_p256_from_montgomery() local 3062 uint32_t x61; in fiat_p256_to_montgomery() local 4375 uint32_t x61; in fiat_p256_divstep() local
|
/aosp_15_r20/external/rust/android-crates-io/crates/ring/third_party/fiat/ |
D | curve25519_64_msvc.h | 262 uint64_t x61; in fiat_25519_carry_mul() local 528 uint64_t x61; in fiat_25519_carry_square() local 867 uint64_t x61; in fiat_25519_to_bytes() local 1083 uint64_t x61; in fiat_25519_from_bytes() local
|
D | curve25519_32.h | 241 uint64_t x61; in fiat_25519_carry_mul() local 555 uint64_t x61; in fiat_25519_carry_square() local 1047 uint8_t x61; in fiat_25519_to_bytes() local 1305 uint32_t x61; in fiat_25519_from_bytes() local
|
D | p256_64_msvc.h | 219 fiat_p256_uint1 x61; in fiat_p256_mul() local 526 fiat_p256_uint1 x61; in fiat_p256_square() local 973 uint64_t x61; in fiat_p256_from_montgomery() local 1128 uint64_t x61; in fiat_p256_to_montgomery() local 1813 uint64_t x61; in fiat_p256_divstep() local
|
D | curve25519_64.h | 575 uint64_t x61; in fiat_25519_to_bytes() local 791 uint64_t x61; in fiat_25519_from_bytes() local
|
D | p256_64.h | 228 fiat_p256_uint1 x61; in fiat_p256_mul() local 535 fiat_p256_uint1 x61; in fiat_p256_square() local
|
/aosp_15_r20/external/rust/android-crates-io/crates/quiche/deps/boringssl/src/third_party/fiat/ |
D | curve25519_32.h | 205 uint64_t x61 = ((uint64_t)(arg1[4]) * (arg2[5])); in fiat_25519_carry_mul() local 375 uint64_t x61 = ((uint64_t)(arg1[1]) * (x16 * 0x2)); in fiat_25519_carry_square() local 730 uint8_t x61 = (uint8_t)(x59 >> 8); in fiat_25519_to_bytes() local 893 uint32_t x61 = (x59 + x38); in fiat_25519_from_bytes() local
|
D | p256_64.h | 217 fiat_p256_uint1 x61; in fiat_p256_mul() local 512 fiat_p256_uint1 x61; in fiat_p256_square() local 961 uint64_t x61; in fiat_p256_from_montgomery() local 1131 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
|
D | curve25519_64.h | 443 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
|
D | p256_32.h | 214 uint32_t x61; in fiat_p256_mul() local 1221 uint32_t x61; in fiat_p256_square() local 2475 uint32_t x61; in fiat_p256_from_montgomery() local 3040 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
|
/aosp_15_r20/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/ |
D | curve25519_32.h | 205 uint64_t x61 = ((uint64_t)(arg1[4]) * (arg2[5])); in fiat_25519_carry_mul() local 375 uint64_t x61 = ((uint64_t)(arg1[1]) * (x16 * 0x2)); in fiat_25519_carry_square() local 730 uint8_t x61 = (uint8_t)(x59 >> 8); in fiat_25519_to_bytes() local 893 uint32_t x61 = (x59 + x38); in fiat_25519_from_bytes() local
|
D | p256_64.h | 217 fiat_p256_uint1 x61; in fiat_p256_mul() local 512 fiat_p256_uint1 x61; in fiat_p256_square() local 961 uint64_t x61; in fiat_p256_from_montgomery() local 1131 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
|
D | curve25519_64.h | 443 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
|
D | p256_32.h | 214 uint32_t x61; in fiat_p256_mul() local 1221 uint32_t x61; in fiat_p256_square() local 2475 uint32_t x61; in fiat_p256_from_montgomery() local 3040 uint8_t x61 = (uint8_t)(x58 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
|
/aosp_15_r20/external/nullaway/jmh/src/main/resources/ |
H A D | DFlowBench.java | 70 DFlowBench x61 = new DFlowBench(); in test() local
|