Searched defs:x64 (Results 1 – 13 of 13) sorted by relevance
76 Ipp64u* x64 = (Ipp64u*)x; in gf_mul_by_primitive() local
596 int64 x64 = (int64) x; in ScaleFilterCols_NEON() local932 int64 x64 = (int64) x; in ScaleARGBCols_NEON() local979 int64 x64 = (int64) x; in ScaleARGBFilterCols_NEON() local
626 int64 x64 = (int64)x; in ScaleFilterCols_NEON() local983 int64 x64 = (int64)x; in ScaleARGBCols_NEON() local1035 int64 x64 = (int64)x; in ScaleARGBFilterCols_NEON() local
572 int64_t x64 = (int64_t)x; // NOLINT in ScaleFilterCols_NEON() local876 int64_t x64 = (int64_t)x; // NOLINT in ScaleARGBCols_NEON() local923 int64_t x64 = (int64_t)x; // NOLINT in ScaleARGBFilterCols_NEON() local
110 uint64_t *x64 = efi_reloc + offset; in efi_loader_relocate() local
153 :x64 label
230 :x64 label
265 def current_dir(self, hidex86=False, x64=False): argument287 def target_dir(self, hidex86=False, x64=False): argument
168 uint64_t x64 = ((uint64_t)(arg1[4]) * (arg2[2])); in fiat_25519_carry_mul() local334 uint64_t x64 = ((uint64_t)(arg1[0]) * x3); in fiat_25519_carry_square() local731 uint32_t x64 = (x63 >> 8); in fiat_25519_to_bytes() local890 uint32_t x64 = (x62 + x37); in fiat_25519_from_bytes() local
186 fiat_p256_uint1 x64; in fiat_p256_mul() local499 fiat_p256_uint1 x64; in fiat_p256_square() local942 uint64_t x64; in fiat_p256_from_montgomery() local
429 fiat_25519_uint1 x64 = (fiat_25519_uint1)(x62 >> 8); in fiat_25519_to_bytes() local
182 fiat_p256_uint1 x64; in fiat_p256_mul() local1231 fiat_p256_uint1 x64; in fiat_p256_square() local2504 uint32_t x64; in fiat_p256_from_montgomery() local
533 __m512 x64; variable