Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2307 | ||
---|---|---|---|
Line 70... | Line 70... | ||
70 | : "=r" (after_arg) |
70 | : "=r" (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("General reg tid%d: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
75 | printf("General reg 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 | : "=r" (after_arg) |
102 | : "=r" (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("General reg tid%d: arg(%d) != %d\n", THREAD->tid, arg, after_arg); |
107 | printf("General reg 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); |