#include "ge.h"

/*
r = 2 * p
*/

static inline void ge_p2_dbl(ge_p1p1 *r,const ge_p2 *p)
{
  fe t0;
#include "ge_p2_dbl.h"
}