Lines Matching refs:his
1227 his := LoadInt32(&ack[he][i%3])
1228 if (my != i && my != i-1) || (his != i && his != i-1) {
1229 t.Fatalf("invalid values: %d/%d (%d)", my, his, i)
1231 if my != i && his != i {
1232 t.Fatalf("store/load are not sequentially consistent: %d/%d (%d)", my, his, i)
1270 his := LoadInt64(&ack[he][i%3])
1271 if (my != i && my != i-1) || (his != i && his != i-1) {
1272 t.Fatalf("invalid values: %d/%d (%d)", my, his, i)
1274 if my != i && his != i {
1275 t.Fatalf("store/load are not sequentially consistent: %d/%d (%d)", my, his, i)
