Searched refs:arg3 (Results 1 – 1 of 1) sorted by relevance
| /mcuboot-latest/ext/fiat/src/ |
| D | curve25519.h | 89 …_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { in fiat_25519_addcarryx_u26() argument
90 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u26()
106 …_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { in fiat_25519_subborrowx_u26() argument
107 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u26()
123 …_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { in fiat_25519_addcarryx_u25() argument
124 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u25()
140 …_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { in fiat_25519_subborrowx_u25() argument
141 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u25()
170 … void fiat_25519_cmovznz_u32(uint32_t* out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) { in fiat_25519_cmovznz_u32() argument
179 uint32_t x3 = ((value_barrier_u32(x2) & arg3) | (value_barrier_u32(~x2) & arg2)); in fiat_25519_cmovznz_u32()
|
