Searched defs:x0 (Results 1 – 2 of 2) sorted by relevance
424 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local727 uint64_t *x0 = buf0; in Hacl_Curve25519_crypto_scalarmult() local
469 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local772 uint64_t *x0 = buf0; in Hacl_Curve25519_crypto_scalarmult() local