Searched refs:x_byte_t (Results 1 – 4 of 4) sorted by relevance
896 byte_t x_byte_t; register991 …x_byte_t = 8'd10 - 8'(2*i); i_byte_t(x_byte_t); if (x_byt…
599 char x_byte_t; in check_exports() local726 e_byte_t(&x_byte_t); in check_exports()727 if (x_byte_t != 10 + 2 * n) stop(); in check_exports()
810 byte_t x_byte_t; register905 …i_byte_t(x_byte_t); if (x_byte_t !== 8'd10 - 8'(2*i)) $st…
801 char x_byte_t; in check_exports() local980 x_byte_t = 10 + 2 * n; in check_exports()981 e_byte_t(&x_byte_t); in check_exports()982 if (x_byte_t != 111 + 2 * n) stop(); in check_exports()