Searched defs:x64 (Results 1 – 5 of 5) sorted by relevance
194 struct x64{ struct195 uint64_t a;196 uint64_t b;
41 static uint64_t x64; variable
319 Elf64_Shdr x64; in ctf_fdopen() local
134 { u32 x64; u8/*bool*/ x65 = addcarryx_u25(x61, x29, x62, &x64); in fe_freeze() local354 { u64 x64 = (x63 + x57); in fe_mul_impl() local497 { u64 x64 = (x63 + x29); in fe_sqr_impl() local677 { u64 x64 = (x63 + x57); in fe_mul_121666_impl() local
549 uint8_t x64; in fiat_25519_to_bytes() local765 uint64_t x64; in fiat_25519_from_bytes() local1096 uint64_t x64; in fiat_25519_carry_mul() local1410 uint64_t x64; in fiat_25519_carry_square() local1856 uint8_t x64; in fiat_25519_to_bytes() local2114 uint32_t x64; in fiat_25519_from_bytes() local