Lines Matching refs:Y1
392 L(Y1);
393 U(Y1);
396 L(Y1);
399 U(Y1); // should fail
405 ML(Y1);
406 MU(Y1);
409 ML(Y1);
412 MU(Y1); // should fail
443 L(Y1);
444 U(Y1);
447 L(Y1);
450 U(Y1);
452 L(Y1);
455 U(Y1); // should fail
467 L(Y1);
468 U(Y1);
471 L(Y1);
474 U(Y1); // should NOT fail
480 ML(Y1);
481 MU(Y1);
484 ML(Y1);
487 MU(Y1); // should fail
500 L(Y1);
501 U(Y1);
504 L(Y1);
507 U(Y1); // should fail
513 ML(Y1);
514 MU(Y1);
517 ML(Y1);
520 MU(Y1); // should fail
1079 RL(Y1); \
1080 RU(Y1); \
1085 WL(Y1); \
1088 WU(Y1);
1111 WL(Y1); \
1112 WU(Y1); \
1117 RL(Y1); \
1120 RU(Y1);
1143 WL(Y1); \
1144 WU(Y1); \
1149 RL(Y1); \
1152 RU(Y1);
1175 RL(Y1); \
1176 RU(Y1); \
1181 RL(Y1); \
1184 RU(Y1);
1403 I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
2100 /* This is not a deadlock, because we have X1 to serialize Y1 and Y2 */