Symbol: subborrow_u25
lib/crypto/curve25519-fiat32.c
121
{ u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23);
lib/crypto/curve25519-fiat32.c
123
{ u32 x29; u8/*bool*/ x30 = subborrow_u25(x27, x8, 0x1ffffff, &x29);
lib/crypto/curve25519-fiat32.c
125
{ u32 x35; u8/*bool*/ x36 = subborrow_u25(x33, x12, 0x1ffffff, &x35);
lib/crypto/curve25519-fiat32.c
127
{ u32 x41; u8/*bool*/ x42 = subborrow_u25(x39, x16, 0x1ffffff, &x41);
lib/crypto/curve25519-fiat32.c
129
{ u32 x47; u8/*bool*/ x48 = subborrow_u25(x45, x17, 0x1ffffff, &x47);