Searched refs:addcarryx_u25 (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/wireguard-tools/ |
| H A D | curve25519-fiat32.h | 55 addcarryx_u25(u8 /*bool*/ c, u32 a, u32 b, u32 *low) in addcarryx_u25() function
130 { u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56); in fe_freeze()
134 { u32 x64; u8/*bool*/ x65 = addcarryx_u25(x61, x29, x62, &x64); in fe_freeze()
138 { u32 x72; u8/*bool*/ x73 = addcarryx_u25(x69, x35, x70, &x72); in fe_freeze()
142 { u32 x80; u8/*bool*/ x81 = addcarryx_u25(x77, x41, x78, &x80); in fe_freeze()
146 { u32 x88; addcarryx_u25(x85, x47, x86, &x88); in fe_freeze()
|