| /aosp_15_r20/external/rust/android-crates-io/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 119 fiat_25519_uint128 x17 = ((fiat_25519_uint128)(arg1[1]) * (arg2[3])); in fiat_25519_carry_mul() local
189 fiat_25519_uint128 x17 = ((fiat_25519_uint128)(arg1[1]) * x7); in fiat_25519_carry_square() local
396 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
535 uint64_t x17 = ((uint64_t)(arg1[15]) << 18); in fiat_25519_from_bytes() local
602 fiat_25519_uint128 x17 = (x15 + x1); in fiat_25519_carry_scmul_121666() local
|
| D | p256_64.h | 153 uint64_t x17; in fiat_p256_mul() local
448 uint64_t x17; in fiat_p256_square() local
747 uint64_t x17; in fiat_p256_add() local
804 fiat_p256_uint1 x17; in fiat_p256_sub() local
850 fiat_p256_uint1 x17; in fiat_p256_opp() local
895 uint64_t x17; in fiat_p256_from_montgomery() local
1087 uint8_t x17 = (uint8_t)(x15 >> 8); in fiat_p256_to_bytes() local
1198 uint64_t x17 = ((uint64_t)(arg1[15]) << 56); in fiat_p256_from_bytes() local
|
| D | curve25519_32.h | 161 uint64_t x17 = ((uint64_t)(arg1[8]) * ((arg2[2]) * UINT8_C(0x13))); in fiat_25519_carry_mul() local
331 uint32_t x17 = ((arg1[2]) * 0x2); in fiat_25519_carry_square() local
474 uint32_t x17 = (x5 & UINT32_C(0x3ffffff)); in fiat_25519_carry() local
673 uint32_t x17; in fiat_25519_to_bytes() local
849 uint32_t x17 = ((uint32_t)(arg1[15]) << 18); in fiat_25519_from_bytes() local
939 uint32_t x17 = (uint32_t)(x16 >> 26); in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 119 fiat_25519_uint128 x17 = ((fiat_25519_uint128)(arg1[1]) * (arg2[3])); in fiat_25519_carry_mul() local
189 fiat_25519_uint128 x17 = ((fiat_25519_uint128)(arg1[1]) * x7); in fiat_25519_carry_square() local
396 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
535 uint64_t x17 = ((uint64_t)(arg1[15]) << 18); in fiat_25519_from_bytes() local
602 fiat_25519_uint128 x17 = (x15 + x1); in fiat_25519_carry_scmul_121666() local
|
| D | p256_64.h | 153 uint64_t x17; in fiat_p256_mul() local
448 uint64_t x17; in fiat_p256_square() local
747 uint64_t x17; in fiat_p256_add() local
804 fiat_p256_uint1 x17; in fiat_p256_sub() local
850 fiat_p256_uint1 x17; in fiat_p256_opp() local
895 uint64_t x17; in fiat_p256_from_montgomery() local
1087 uint8_t x17 = (uint8_t)(x15 >> 8); in fiat_p256_to_bytes() local
1198 uint64_t x17 = ((uint64_t)(arg1[15]) << 56); in fiat_p256_from_bytes() local
|
| D | curve25519_32.h | 161 uint64_t x17 = ((uint64_t)(arg1[8]) * ((arg2[2]) * UINT8_C(0x13))); in fiat_25519_carry_mul() local
331 uint32_t x17 = ((arg1[2]) * 0x2); in fiat_25519_carry_square() local
474 uint32_t x17 = (x5 & UINT32_C(0x3ffffff)); in fiat_25519_carry() local
673 uint32_t x17; in fiat_25519_to_bytes() local
849 uint32_t x17 = ((uint32_t)(arg1[15]) << 18); in fiat_25519_from_bytes() local
939 uint32_t x17 = (uint32_t)(x16 >> 26); in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/rust/android-crates-io/crates/ring/third_party/fiat/ |
| D | curve25519_64_adx.h | 180 fiat_uint1 x17; in fe4_add() local
226 fiat_uint1 x17; in fe4_sub() local
280 uint64_t x17; in fe4_scmul() local
335 uint64_t x17; in fe4_canon() local
|
| D | curve25519_64.h | 150 fiat_25519_uint128 x17; in fiat_25519_carry_mul() local
269 fiat_25519_uint128 x17; in fiat_25519_carry_square() local
531 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
747 uint64_t x17; in fiat_25519_from_bytes() local
929 fiat_25519_uint128 x17; in fiat_25519_carry_scmul_121666() local
|
| D | p256_64_msvc.h | 175 uint64_t x17; in fiat_p256_mul() local
482 uint64_t x17; in fiat_p256_square() local
790 uint64_t x17; in fiat_p256_add() local
843 fiat_p256_uint1 x17; in fiat_p256_sub() local
886 fiat_p256_uint1 x17; in fiat_p256_opp() local
929 uint64_t x17; in fiat_p256_from_montgomery() local
1084 uint64_t x17; in fiat_p256_to_montgomery() local
1410 uint8_t x17; in fiat_p256_to_bytes() local
1579 uint64_t x17; in fiat_p256_from_bytes() local
1769 fiat_p256_uint1 x17; in fiat_p256_divstep() local
|
| D | p256_64.h | 184 uint64_t x17; in fiat_p256_mul() local
491 uint64_t x17; in fiat_p256_square() local
799 uint64_t x17; in fiat_p256_add() local
852 fiat_p256_uint1 x17; in fiat_p256_sub() local
895 fiat_p256_uint1 x17; in fiat_p256_opp() local
|
| D | curve25519_32.h | 197 uint64_t x17; in fiat_25519_carry_mul() local
511 uint32_t x17; in fiat_25519_carry_square() local
771 uint32_t x17; in fiat_25519_carry() local
1003 uint32_t x17; in fiat_25519_to_bytes() local
1261 uint32_t x17; in fiat_25519_from_bytes() local
1477 uint32_t x17; in fiat_25519_carry_scmul_121666() local
|
| D | curve25519_64_msvc.h | 218 uint64_t x17; in fiat_25519_carry_mul() local
484 uint64_t x17; in fiat_25519_carry_square() local
823 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
1039 uint64_t x17; in fiat_25519_from_bytes() local
1221 uint64_t x17; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/cronet/third_party/boringssl/src/third_party/fiat/ |
| H A D | curve25519_64_adx.h | 182 fiat_uint1 x17; in fe4_add() local
228 fiat_uint1 x17; in fe4_sub() local
282 uint64_t x17; in fe4_scmul() local
337 uint64_t x17; in fe4_canon() local
|
| H A D | curve25519_64.h | 150 fiat_25519_uint128 x17; in fiat_25519_carry_mul() local
269 fiat_25519_uint128 x17; in fiat_25519_carry_square() local
531 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
747 uint64_t x17; in fiat_25519_from_bytes() local
929 fiat_25519_uint128 x17; in fiat_25519_carry_scmul_121666() local
|
| H A D | p256_64_msvc.h | 175 uint64_t x17; in fiat_p256_mul() local
482 uint64_t x17; in fiat_p256_square() local
790 uint64_t x17; in fiat_p256_add() local
843 fiat_p256_uint1 x17; in fiat_p256_sub() local
886 fiat_p256_uint1 x17; in fiat_p256_opp() local
929 uint64_t x17; in fiat_p256_from_montgomery() local
1084 uint64_t x17; in fiat_p256_to_montgomery() local
1410 uint8_t x17; in fiat_p256_to_bytes() local
1579 uint64_t x17; in fiat_p256_from_bytes() local
1769 fiat_p256_uint1 x17; in fiat_p256_divstep() local
|
| H A D | p256_64.h | 198 uint64_t x17; in fiat_p256_mul() local
512 uint64_t x17; in fiat_p256_square() local
820 uint64_t x17; in fiat_p256_add() local
873 fiat_p256_uint1 x17; in fiat_p256_sub() local
916 fiat_p256_uint1 x17; in fiat_p256_opp() local
959 uint64_t x17; in fiat_p256_from_montgomery() local
1114 uint64_t x17; in fiat_p256_to_montgomery() local
1440 uint8_t x17; in fiat_p256_to_bytes() local
1609 uint64_t x17; in fiat_p256_from_bytes() local
1799 fiat_p256_uint1 x17; in fiat_p256_divstep() local
|
| H A D | curve25519_32.h | 197 uint64_t x17; in fiat_25519_carry_mul() local
511 uint32_t x17; in fiat_25519_carry_square() local
771 uint32_t x17; in fiat_25519_carry() local
1003 uint32_t x17; in fiat_25519_to_bytes() local
1261 uint32_t x17; in fiat_25519_from_bytes() local
1477 uint32_t x17; in fiat_25519_carry_scmul_121666() local
|
| H A D | curve25519_64_msvc.h | 218 uint64_t x17; in fiat_25519_carry_mul() local
484 uint64_t x17; in fiat_25519_carry_square() local
823 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
1039 uint64_t x17; in fiat_25519_from_bytes() local
1221 uint64_t x17; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/boringssl/src/third_party/fiat/ |
| H A D | curve25519_64_adx.h | 182 fiat_uint1 x17; in fe4_add() local
228 fiat_uint1 x17; in fe4_sub() local
282 uint64_t x17; in fe4_scmul() local
337 uint64_t x17; in fe4_canon() local
|
| H A D | curve25519_64.h | 150 fiat_25519_uint128 x17; in fiat_25519_carry_mul() local
269 fiat_25519_uint128 x17; in fiat_25519_carry_square() local
531 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
747 uint64_t x17; in fiat_25519_from_bytes() local
929 fiat_25519_uint128 x17; in fiat_25519_carry_scmul_121666() local
|
| H A D | p256_64_msvc.h | 175 uint64_t x17; in fiat_p256_mul() local
482 uint64_t x17; in fiat_p256_square() local
790 uint64_t x17; in fiat_p256_add() local
843 fiat_p256_uint1 x17; in fiat_p256_sub() local
886 fiat_p256_uint1 x17; in fiat_p256_opp() local
929 uint64_t x17; in fiat_p256_from_montgomery() local
1084 uint64_t x17; in fiat_p256_to_montgomery() local
1410 uint8_t x17; in fiat_p256_to_bytes() local
1579 uint64_t x17; in fiat_p256_from_bytes() local
1769 fiat_p256_uint1 x17; in fiat_p256_divstep() local
|
| H A D | p256_64.h | 198 uint64_t x17; in fiat_p256_mul() local
512 uint64_t x17; in fiat_p256_square() local
820 uint64_t x17; in fiat_p256_add() local
873 fiat_p256_uint1 x17; in fiat_p256_sub() local
916 fiat_p256_uint1 x17; in fiat_p256_opp() local
959 uint64_t x17; in fiat_p256_from_montgomery() local
1114 uint64_t x17; in fiat_p256_to_montgomery() local
1440 uint8_t x17; in fiat_p256_to_bytes() local
1609 uint64_t x17; in fiat_p256_from_bytes() local
1799 fiat_p256_uint1 x17; in fiat_p256_divstep() local
|
| H A D | curve25519_32.h | 197 uint64_t x17; in fiat_25519_carry_mul() local
511 uint32_t x17; in fiat_25519_carry_square() local
771 uint32_t x17; in fiat_25519_carry() local
1003 uint32_t x17; in fiat_25519_to_bytes() local
1261 uint32_t x17; in fiat_25519_from_bytes() local
1477 uint32_t x17; in fiat_25519_carry_scmul_121666() local
|
| H A D | curve25519_64_msvc.h | 218 uint64_t x17; in fiat_25519_carry_mul() local
484 uint64_t x17; in fiat_25519_carry_square() local
823 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local
1039 uint64_t x17; in fiat_25519_from_bytes() local
1221 uint64_t x17; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/coreboot/src/soc/intel/common/block/cse/ |
| H A D | cse_rw_metadata.c | 6 x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30,\ argument
|