Searched refs:x51 (Results 1 – 2 of 2) sorted by relevance
| /mcuboot-3.4.0/sim/src/ |
| D | rsa3072_pub_key-rs.txt | 26 0x3a, 0x51, 0x66, 0x5e, 0x99, 0x8e, 0x87, 0xee,
35 0xa5, 0x6a, 0x77, 0x51, 0xeb, 0xa7, 0x7e, 0xda,
37 0x40, 0x1d, 0x1b, 0xff, 0x1a, 0xb1, 0x51, 0x7c,
|
| /mcuboot-3.4.0/ext/fiat/src/ |
| D | curve25519.h | 241 uint64_t x51 = ((uint64_t)(arg1[7]) * (arg2[0])); in fiat_25519_carry_mul() local
296 uint64_t x106 = (x93 + (x84 + (x76 + (x69 + (x63 + (x58 + (x54 + (x51 + (x10 + x2))))))))); in fiat_25519_carry_mul()
407 uint64_t x51 = ((uint64_t)(arg1[2]) * x14); in fiat_25519_carry_square() local
435 uint64_t x79 = (x66 + (x58 + (x51 + (x45 + x20)))); in fiat_25519_carry_square()
697 uint8_t x51 = (uint8_t)(x22 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
765 out1[0] = x51; in fiat_25519_to_bytes()
856 uint32_t x51 = (x49 + x42); in fiat_25519_from_bytes() local
857 uint8_t x52 = (uint8_t)(x51 >> 25); in fiat_25519_from_bytes()
858 uint32_t x53 = (x51 & UINT32_C(0x1ffffff)); in fiat_25519_from_bytes()
|
