Searched refs:x32 (Results 1 – 3 of 3) sorted by relevance
| /mcuboot-latest/sim/src/ |
| D | ecdsa_pub_key-rs.txt | 26 0x4d, 0x32, 0xe7, 0x9b, 0xd3, 0x42, 0xcc, 0x95,
|
| /mcuboot-latest/ext/fiat/src/ |
| D | curve25519.h | 222 uint64_t x32 = ((uint64_t)(arg1[5]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local
300 uint64_t x110 = (x97 + (x88 + (x80 + (x73 + (x36 + (x32 + (x27 + (x21 + (x14 + x6))))))))); in fiat_25519_carry_mul()
388 uint64_t x32 = ((arg1[5]) * x11); in fiat_25519_carry_square() local
441 uint64_t x85 = (x72 + (x47 + (x41 + (x36 + x32)))); in fiat_25519_carry_square()
673 uint32_t x32; in fiat_25519_to_bytes() local
675 fiat_25519_addcarryx_u25(&x32, &x33, x31, (x21 & UINT32_C(0x1ffffff)), x11); in fiat_25519_to_bytes()
731 uint32_t x85 = (x32 >> 8); in fiat_25519_to_bytes()
732 uint8_t x86 = (uint8_t)(x32 & UINT8_C(0xff)); in fiat_25519_to_bytes()
837 uint8_t x32 = (arg1[0]); in fiat_25519_from_bytes() local
838 uint32_t x33 = (x32 + (x31 + (x30 + x29))); in fiat_25519_from_bytes()
|
| D | curve25519.c | 1192 uint32_t x32 = (uint32_t)(x31 >> 25); in fiat_25519_carry_scmul_121666() local
1194 uint64_t x34 = (x32 + x2); in fiat_25519_carry_scmul_121666()
|
