Searched refs:Hacl_Bignum_Fsquare_fsquare__ (Results 1 – 2 of 2) sorted by relevance
155 inline static void Hacl_Bignum_Fsquare_fsquare__(uint128_t *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare__() function189 Hacl_Bignum_Fsquare_fsquare__(tmp, output); in Hacl_Bignum_Fsquare_fsquare_()
170 inline static void Hacl_Bignum_Fsquare_fsquare__(FStar_UInt128_uint128 *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare__() function224 Hacl_Bignum_Fsquare_fsquare__(tmp, output); in Hacl_Bignum_Fsquare_fsquare_()