Searched refs:x86 (Results 1 – 3 of 3) sorted by relevance
| /mcuboot-3.4.0/sim/src/ |
| D | ecdsa_pub_key-rs.txt | 2 0x30, 0x59, 0x30, 0x13, 0x06, 0x07, 0x2a, 0x86,
4 0x86, 0x48, 0xce, 0x3d, 0x03, 0x01, 0x07, 0x03,
|
| /mcuboot-3.4.0/boot/cypress/keys/ |
| D | cypress-test-ec-p256.pub | 3 0x30, 0x59, 0x30, 0x13, 0x06, 0x07, 0x2a, 0x86,
5 0x86, 0x48, 0xce, 0x3d, 0x03, 0x01, 0x07, 0x03,
|
| /mcuboot-3.4.0/ext/fiat/src/ |
| D | curve25519.h | 276 uint64_t x86 = ((uint64_t)(arg1[1]) * (arg2[4])); in fiat_25519_carry_mul() local
298 uint64_t x108 = (x95 + (x86 + (x78 + (x71 + (x65 + (x60 + (x25 + (x19 + (x12 + x4))))))))); in fiat_25519_carry_mul()
442 uint64_t x86 = (x75 + x85); in fiat_25519_carry_square() local
443 uint64_t x87 = (x86 >> 25); in fiat_25519_carry_square()
444 uint32_t x88 = (uint32_t)(x86 & UINT32_C(0x1ffffff)); in fiat_25519_carry_square()
732 uint8_t x86 = (uint8_t)(x32 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
781 out1[16] = x86; in fiat_25519_to_bytes()
|
