Home
last modified time | relevance | path

Searched defs:x0 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-3.4.0/3rdparty/everest/library/
DHacl_Curve25519.c424 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local
727 uint64_t *x0 = buf0; in Hacl_Curve25519_crypto_scalarmult() local
/mbedtls-3.4.0/3rdparty/everest/library/legacy/
DHacl_Curve25519.c469 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local
772 uint64_t *x0 = buf0; in Hacl_Curve25519_crypto_scalarmult() local