Searched refs:x_array_2_state_32 (Results 1 – 2 of 2) sorted by relevance
623 svBitVecVal x_array_2_state_32[1]; in check_exports() local792 e_array_2_state_32(x_array_2_state_32); in check_exports()793 if (x_array_2_state_32[0] != 0xffffffff >> n) stop(); in check_exports()
825 svBitVecVal x_array_2_state_32[1]; in check_exports() local1066 x_array_2_state_32[0] = 0xffffffff >> n; in check_exports()1080 e_array_2_state_32(x_array_2_state_32); in check_exports()1081 if (x_array_2_state_32[0] != 0xffffffff << n) stop(); in check_exports()