Searched refs:load64_le (Results 1 – 3 of 3) sorted by relevance
417 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand()419 uint64_t i1 = load64_le(x00); in Hacl_EC_Format_fexpand()421 uint64_t i2 = load64_le(x01); in Hacl_EC_Format_fexpand()423 uint64_t i3 = load64_le(x02); in Hacl_EC_Format_fexpand()425 uint64_t i4 = load64_le(x0); in Hacl_EC_Format_fexpand()
462 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand()464 uint64_t i1 = load64_le(x00); in Hacl_EC_Format_fexpand()466 uint64_t i2 = load64_le(x01); in Hacl_EC_Format_fexpand()468 uint64_t i3 = load64_le(x02); in Hacl_EC_Format_fexpand()470 uint64_t i4 = load64_le(x0); in Hacl_EC_Format_fexpand()
199 #define load64_le(b) (le64toh(load64(b))) macro
