Searched defs:xnx (Results 1 – 4 of 4) sorted by relevance
18 uint64_t xnx = x_or_minus_x >> (uint32_t)63U; in FStar_UInt64_eq_mask() local40 uint32_t xnx = x_or_minus_x >> (uint32_t)31U; in FStar_UInt32_eq_mask() local62 uint16_t xnx = x_or_minus_x >> (uint32_t)15U; in FStar_UInt16_eq_mask() local84 uint8_t xnx = x_or_minus_x >> (uint32_t)7U; in FStar_UInt8_eq_mask() local
22 uint64_t xnx = x_or_minus_x >> 63U; in FStar_UInt64_eq_mask() local44 uint32_t xnx = x_or_minus_x >> 31U; in FStar_UInt32_eq_mask() local66 uint16_t xnx = (uint32_t)x_or_minus_x >> 15U; in FStar_UInt16_eq_mask() local88 uint8_t xnx = (uint32_t)x_or_minus_x >> 7U; in FStar_UInt8_eq_mask() local
17774 …uint64_t xnx : 4; /**< [ 31: 28](RO) 0x0 = EL0/EL1 execute control distinction … member17974 …uint64_t xnx : 4; /**< [ 31: 28](RO) 0x0 = EL0/EL1 execute control distinction … member18761 …uint32_t xnx : 4; /**< [ 11: 8](RO) 0x0 = EL0/EL1 execute control distinction … member