287 	LOCK(X1);				\
319 	RL(X1);  in rlock_AA1()
320 	RL(X1); // this one should NOT fail  in rlock_AA1()
325 	RL(X1);  in rlock_AA1B()
331 	RSL(X1);  in rsem_AA1()
332 	RSL(X1); // this one should fail  in rsem_AA1()
337 	RSL(X1);  in rsem_AA1B()
345 	RL(X1);  in rlock_AA2()
351 	RSL(X1);  in rsem_AA2()
357 	WL(X1);  in rlock_AA3()
363 	WSL(X1);  in rsem_AA3()
375 	RL(X1);  in rlock_ABBA1()
378 	RU(X1);  in rlock_ABBA1()
381 	WL(X1);  in rlock_ABBA1()
382 	WU(X1);  in rlock_ABBA1()
388 	RSL(X1);  in rwsem_ABBA1()
391 	RSU(X1);  in rwsem_ABBA1()
394 	WSL(X1);  in rwsem_ABBA1()
395 	WSU(X1);  in rwsem_ABBA1()
426 	RL(X1);  in rlock_chaincache_ABBA1()
429 	RU(X1);  in rlock_chaincache_ABBA1()
432 	RL(X1);  in rlock_chaincache_ABBA1()
433 	RU(X1);  in rlock_chaincache_ABBA1()
437 	WL(X1);  in rlock_chaincache_ABBA1()
438 	WU(X1);  in rlock_chaincache_ABBA1()
450 	RL(X1);  in rlock_ABBA2()
453 	RU(X1);  in rlock_ABBA2()
456 	RL(X1);  in rlock_ABBA2()
457 	RU(X1);  in rlock_ABBA2()
463 	RSL(X1);  in rwsem_ABBA2()
466 	RSU(X1);  in rwsem_ABBA2()
469 	RSL(X1);  in rwsem_ABBA2()
470 	RSU(X1);  in rwsem_ABBA2()
483 	WL(X1);  in rlock_ABBA3()
486 	WU(X1);  in rlock_ABBA3()
489 	WL(X1);  in rlock_ABBA3()
490 	WU(X1);  in rlock_ABBA3()
496 	WSL(X1);  in rwsem_ABBA3()
499 	WSU(X1);  in rwsem_ABBA3()
502 	WSL(X1);  in rwsem_ABBA3()
503 	WSU(X1);  in rwsem_ABBA3()
1043 	WL(X1);				\
1046 	WU(X1);
1058 	RL(X1);				\
1059 	RU(X1);				\
1075 	WL(X1);				\
1078 	WU(X1);
1090 	RL(X1);				\
1091 	RU(X1);				\
1107 	WL(X1);				\
1110 	WU(X1);
1122 	WL(X1);				\
1123 	WU(X1);				\
1139 	WL(X1);				\
1142 	WU(X1);
1154 	WL(X1);				\
1155 	WU(X1);				\
1358 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);