Searched refs:i4 (Results 1 – 2 of 2) sorted by relevance
425 uint64_t i4 = load64_le(x0); in Hacl_EC_Format_fexpand() local430 uint64_t output4 = i4 >> (uint32_t)12U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()
470 uint64_t i4 = load64_le(x0); in Hacl_EC_Format_fexpand() local475 uint64_t output4 = i4 >> (uint32_t)12U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()