Home
last modified time | relevance | path

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

/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c26 uint64_t x_xor_y = x ^ y; in FStar_UInt64_gte_mask() local
48 uint32_t x_xor_y = x ^ y; in FStar_UInt32_gte_mask() local
70 uint16_t x_xor_y = x ^ y; in FStar_UInt16_gte_mask() local
92 uint8_t x_xor_y = x ^ y; in FStar_UInt8_gte_mask() local