Searched refs:x_byte_unsigned_t (Results 1 – 4 of 4) sorted by relevance
897 byte_unsigned_t x_byte_unsigned_t; register992 …x_byte_unsigned_t = 8'd20 - 8'(2*i); i_byte_unsigned_t(x_byte_unsigned_t); if (x_byt…
600 unsigned char x_byte_unsigned_t; in check_exports() local729 e_byte_unsigned_t(&x_byte_unsigned_t); in check_exports()730 if (x_byte_unsigned_t != 20 + 2 * n) stop(); in check_exports()
811 byte_unsigned_t x_byte_unsigned_t; register906 …i_byte_unsigned_t(x_byte_unsigned_t); if (x_byte_unsigned_t !== 8'd20 - 8'(2*i)) $st…
802 unsigned char x_byte_unsigned_t; in check_exports() local984 x_byte_unsigned_t = 20 + 2 * n; in check_exports()985 e_byte_unsigned_t(&x_byte_unsigned_t); in check_exports()986 if (x_byte_unsigned_t != 222 + 2 * n) stop(); in check_exports()