Searched defs:x108 (Results 1 – 4 of 4) sorted by relevance
38 uint32_t x108; /* The value that should be at offset 0x108 */ in check_erratum_a4849() local
212 uint64_t x108 = (x95 + (x86 + (x78 + (x71 + (x65 + (x60 + (x25 + (x19 + (x12 + x4))))))))); in fiat_25519_carry_mul() local378 uint64_t x108 = (x107 >> 26); in fiat_25519_carry_square() local775 uint32_t x108 = (x106 >> 8); in fiat_25519_to_bytes() local
252 fiat_p256_uint1 x108; in fiat_p256_mul() local565 fiat_p256_uint1 x108; in fiat_p256_square() local1008 uint64_t x108; in fiat_p256_from_montgomery() local
248 fiat_p256_uint1 x108; in fiat_p256_mul() local1297 fiat_p256_uint1 x108; in fiat_p256_square() local2570 uint32_t x108; in fiat_p256_from_montgomery() local