Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2307 | ||
|---|---|---|---|
| Line 70... | Line 70... | ||
| 70 | : "=m" (after_arg) |
70 | : "=m" (after_arg) |
| 71 | ); |
71 | ); |
| 72 | 72 | ||
| 73 | if (arg != after_arg) { |
73 | if (arg != after_arg) { |
| 74 | if (!sh_quiet) |
74 | if (!sh_quiet) |
| 75 | printf("tid%d: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
75 | printf("tid%llu: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
| 76 | atomic_inc(&threads_fault); |
76 | atomic_inc(&threads_fault); |
| 77 | break; |
77 | break; |
| 78 | } |
78 | } |
| 79 | } |
79 | } |
| 80 | atomic_inc(&threads_ok); |
80 | atomic_inc(&threads_ok); |
| Line 102... | Line 102... | ||
| 102 | : "=m" (after_arg) |
102 | : "=m" (after_arg) |
| 103 | ); |
103 | ); |
| 104 | 104 | ||
| 105 | if (arg != after_arg) { |
105 | if (arg != after_arg) { |
| 106 | if (!sh_quiet) |
106 | if (!sh_quiet) |
| 107 | printf("tid%d: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
107 | printf("tid%llu: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
| 108 | atomic_inc(&threads_fault); |
108 | atomic_inc(&threads_fault); |
| 109 | break; |
109 | break; |
| 110 | } |
110 | } |
| 111 | } |
111 | } |
| 112 | atomic_inc(&threads_ok); |
112 | atomic_inc(&threads_ok); |