ge_p2
ge_p2 Pmasked_proj;
ge_p2 K;
static void x25519_ge_tobytes(uint8_t s[32], const ge_p2 *h) {
static void ge_p2_0(ge_p2 *h) {
static void ge_p3_to_p2(ge_p2 *r, const ge_p3 *p) {
static void x25519_ge_p1p1_to_p2(ge_p2 *r, const ge_p1p1 *p) {
static void ge_p2_dbl(ge_p1p1 *r, const ge_p2 *p) {
ge_p2 q;
ge_p2 s;
static void x25519_ge_scalarmult(ge_p2 *r, const uint8_t *scalar,
ge_p2 Ai_p2[8];
static void ge_tobytes(uint8_t *s, const ge_p2 *h)
static void ge_p2_0(ge_p2 *h)
static void ge_p3_to_p2(ge_p2 *r, const ge_p3 *p)
static void ge_p1p1_to_p2(ge_p2 *r, const ge_p1p1 *p)
static void ge_p2_dbl(ge_p1p1 *r, const ge_p2 *p)
ge_p2 q;
ge_p2 s;
static void ge_double_scalarmult_vartime(ge_p2 *r, const uint8_t *a,
ge_p2 R;