Home
last modified time | relevance | path

Searched defs:minus_x (Results 1 - 6 of 6) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/kremlib/
H A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c16 uint64_t minus_x = ~x + (uint64_t)1U; in FStar_UInt64_eq_mask() local
38 uint32_t minus_x = ~x + (uint32_t)1U; in FStar_UInt32_eq_mask() local
60 uint16_t minus_x = ~x + (uint16_t)1U; in FStar_UInt16_eq_mask() local
82 uint8_t minus_x = ~x + (uint8_t)1U; in FStar_UInt8_eq_mask() local
/kernel/linux/linux-5.10/arch/x86/crypto/
H A Dcurve25519-x86_64.c22 u64 minus_x = ~x + (u64)1U; in eq_mask() local
/kernel/linux/linux-6.6/arch/x86/crypto/
H A Dcurve25519-x86_64.c22 u64 minus_x = ~x + (u64)1U; in eq_mask() local
/third_party/node/deps/v8/src/codegen/
H A Dcode-stub-assembler.cc397 TNode<Float64T> minus_x = Float64Neg(x); in Float64Ceil() local
449 TNode<Float64T> minus_x = Float64Neg(x); in Float64Floor() local
540 TNode<Float64T> minus_x = Float64Neg(x); in Float64Trunc() local
/kernel/linux/linux-5.10/lib/crypto/
H A Dcurve25519-hacl64.c22 u64 minus_x = ~x + (u64)1U; in u64_eq_mask() local
/kernel/linux/linux-6.6/lib/crypto/
H A Dcurve25519-hacl64.c20 u64 minus_x = ~x + (u64)1U; in u64_eq_mask() local

Completed in 24 milliseconds