Searched defs:out2 (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()
|
