Searched defs:out1 (Results 1 – 1 of 1) sorted by relevance
| /mcuboot-latest/ext/fiat/src/ |
| D | curve25519.h | 89 static void fiat_25519_addcarryx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u26()
106 static void fiat_25519_subborrowx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u26()
123 static void fiat_25519_addcarryx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u25()
140 static void fiat_25519_subborrowx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u25()
170 static void fiat_25519_cmovznz_u32(uint32_t* out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t a… in fiat_25519_cmovznz_u32()
|
