Searched defs:a0 (Results 1 – 2 of 2) sorted by relevance
248 uint64_t *a0 = buf; in Hacl_Bignum_Crecip_crecip() local506 uint64_t a0 = input[0U]; in Hacl_EC_Format_fcontract_trim() local
290 uint64_t *a0 = buf; in Hacl_Bignum_Crecip_crecip() local551 uint64_t a0 = input[0U]; in Hacl_EC_Format_fcontract_trim() local