288 	LOCK(X1);				\
320 	RL(X1);  in rlock_AA1()
321 	RL(X1); // this one should NOT fail  in rlock_AA1()
326 	RL(X1);  in rlock_AA1B()
332 	RSL(X1);  in rsem_AA1()
333 	RSL(X1); // this one should fail  in rsem_AA1()
338 	RSL(X1);  in rsem_AA1B()
346 	RL(X1);  in rlock_AA2()
352 	RSL(X1);  in rsem_AA2()
358 	WL(X1);  in rlock_AA3()
364 	WSL(X1);  in rsem_AA3()
376 	RL(X1);  in rlock_ABBA1()
379 	RU(X1);  in rlock_ABBA1()
382 	WL(X1);  in rlock_ABBA1()
383 	WU(X1);  in rlock_ABBA1()
389 	RSL(X1);  in rwsem_ABBA1()
392 	RSU(X1);  in rwsem_ABBA1()
395 	WSL(X1);  in rwsem_ABBA1()
396 	WSU(X1);  in rwsem_ABBA1()
427 	RL(X1);  in rlock_chaincache_ABBA1()
430 	RU(X1);  in rlock_chaincache_ABBA1()
433 	RL(X1);  in rlock_chaincache_ABBA1()
434 	RU(X1);  in rlock_chaincache_ABBA1()
438 	WL(X1);  in rlock_chaincache_ABBA1()
439 	WU(X1);  in rlock_chaincache_ABBA1()
451 	RL(X1);  in rlock_ABBA2()
454 	RU(X1);  in rlock_ABBA2()
457 	RL(X1);  in rlock_ABBA2()
458 	RU(X1);  in rlock_ABBA2()
464 	RSL(X1);  in rwsem_ABBA2()
467 	RSU(X1);  in rwsem_ABBA2()
470 	RSL(X1);  in rwsem_ABBA2()
471 	RSU(X1);  in rwsem_ABBA2()
484 	WL(X1);  in rlock_ABBA3()
487 	WU(X1);  in rlock_ABBA3()
490 	WL(X1);  in rlock_ABBA3()
491 	WU(X1);  in rlock_ABBA3()
497 	WSL(X1);  in rwsem_ABBA3()
500 	WSU(X1);  in rwsem_ABBA3()
503 	WSL(X1);  in rwsem_ABBA3()
504 	WSU(X1);  in rwsem_ABBA3()
1044 	WL(X1);				\
1047 	WU(X1);
1059 	RL(X1);				\
1060 	RU(X1);				\
1076 	WL(X1);				\
1079 	WU(X1);
1091 	RL(X1);				\
1092 	RU(X1);				\
1108 	WL(X1);				\
1111 	WU(X1);
1123 	WL(X1);				\
1124 	WU(X1);				\
1140 	WL(X1);				\
1143 	WU(X1);
1155 	WL(X1);				\
1156 	WU(X1);				\
1359 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);