x_or_minus_x (definition) in projects: external

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

/external/openthread/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/
D	FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c	`17 uint64_t x_or_minus_x = x \| minus_x; in FStar_UInt64_eq_mask() local 39 uint32_t x_or_minus_x = x \| minus_x; in FStar_UInt32_eq_mask() local 61 uint16_t x_or_minus_x = x \| minus_x; in FStar_UInt16_eq_mask() local 83 uint8_t x_or_minus_x = x \| minus_x; in FStar_UInt8_eq_mask() local`
/external/mbedtls/3rdparty/everest/library/kremlib/
D	FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c	`17 uint64_t x_or_minus_x = x \| minus_x; in FStar_UInt64_eq_mask() local 39 uint32_t x_or_minus_x = x \| minus_x; in FStar_UInt32_eq_mask() local 61 uint16_t x_or_minus_x = x \| minus_x; in FStar_UInt16_eq_mask() local 83 uint8_t x_or_minus_x = x \| minus_x; in FStar_UInt8_eq_mask() local`
/external/python/cpython3/Modules/_hacl/include/krml/
D	FStar_UInt_8_16_32_64.h	`21 uint64_t x_or_minus_x = x \| minus_x; in FStar_UInt64_eq_mask() local 43 uint32_t x_or_minus_x = x \| minus_x; in FStar_UInt32_eq_mask() local 65 uint16_t x_or_minus_x = (uint32_t)x \| (uint32_t)minus_x; in FStar_UInt16_eq_mask() local 87 uint8_t x_or_minus_x = (uint32_t)x \| (uint32_t)minus_x; in FStar_UInt8_eq_mask() local`