Home
last modified time | relevance | path

Searched refs:UINT32_C (Results 1 – 2 of 2) sorted by relevance

/mcuboot-3.4.0/ext/fiat/src/
Dcurve25519.h14 #ifndef UINT32_C
15 #define UINT32_C(x) x##UL macro
91 uint32_t x2 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_addcarryx_u26()
109 uint32_t x3 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_subborrowx_u26()
125 uint32_t x2 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_addcarryx_u25()
143 uint32_t x3 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_subborrowx_u25()
172 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32()
293 uint32_t x103 = (uint32_t)(x101 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul()
305 uint32_t x115 = (uint32_t)(x113 & UINT32_C(0x1ffffff)); in fiat_25519_carry_mul()
308 uint32_t x118 = (uint32_t)(x116 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul()
[all …]
Dcurve25519.c1162 uint64_t x1 = ((uint64_t)UINT32_C(0x1db42) * (arg1[9])); in fiat_25519_carry_scmul_121666()
1163 uint64_t x2 = ((uint64_t)UINT32_C(0x1db42) * (arg1[8])); in fiat_25519_carry_scmul_121666()
1164 uint64_t x3 = ((uint64_t)UINT32_C(0x1db42) * (arg1[7])); in fiat_25519_carry_scmul_121666()
1165 uint64_t x4 = ((uint64_t)UINT32_C(0x1db42) * (arg1[6])); in fiat_25519_carry_scmul_121666()
1166 uint64_t x5 = ((uint64_t)UINT32_C(0x1db42) * (arg1[5])); in fiat_25519_carry_scmul_121666()
1167 uint64_t x6 = ((uint64_t)UINT32_C(0x1db42) * (arg1[4])); in fiat_25519_carry_scmul_121666()
1168 uint64_t x7 = ((uint64_t)UINT32_C(0x1db42) * (arg1[3])); in fiat_25519_carry_scmul_121666()
1169 uint64_t x8 = ((uint64_t)UINT32_C(0x1db42) * (arg1[2])); in fiat_25519_carry_scmul_121666()
1170 uint64_t x9 = ((uint64_t)UINT32_C(0x1db42) * (arg1[1])); in fiat_25519_carry_scmul_121666()
1171 uint64_t x10 = ((uint64_t)UINT32_C(0x1db42) * (arg1[0])); in fiat_25519_carry_scmul_121666()
[all …]