linux/lib/locking-selftest.c
<<
ptio v2/spa v2/form v2a ptio v href="../linux+v="v.6/lib/locking-selftest.c">ptio v2img src="../.stati9wMf:cking-selftest.c">ptio v2img src="2.13" > v2.6.32.13 1 option 2
n>
n> 1v2div idc=search_results" class="search_results" > n> 1v2.div> 2div idc=content"> 2div idc=file_contents". v2#L1. idc=L1. class="line. namrc=L1.> 1v12.a63 class="comment">/*3" > v2#L2. idc=L2. class="line. namrc=L2.> 1v22.a63 class="comment"> * ="v2.6.35.6" > v23" > v2#L3. idc=L3. class="line. namrc=L3.> 1v32.a63 class="comment"> *3" > v2#L4. idc=L4. class="line. namrc=L4.> 1v42.a63 class="comment"> * T suite 6.3 mgrious .6.35.6 APIs: spin.6.3s, rw.6.3s,3" > v2#L5. idc=L5. class="line. namrc=L5.> 1v52.a63 class="comment"> * mutexes and rw" maphores.3" > v2#L6. idc=L6. class="line. namrc=L6.> 1v62.a63 class="comment"> *3" > v2#L7. idc=L7. class="line. namrc=L7.> 1v72.a63 class="comment"> * It is che.35.6 both false positives and false negatives.3" > v2#L8. idc=L8. class="line. namrc=L8.> 1v82.a63 class="comment"> *3" > v2#L9. idc=L9. class="line. namrc=L9.> 1v92.a63 class="comment"> * Started by Ingo Molnar:3" > v2#L10. idc=L10. class="line. namrc=L10.> 1ptioa63 class="comment"> *3" > v2#L11. idc=L11. class="line. namrc=L11.> 1112.a63 class="comment"> * Copyu2="v (C) 2006 Red Hat, Inc., Ingo Molnar <m5.6o@redha v2om>3" > v2#L12. idc=L12. class="line. namrc=L12.> 1122.a63 class="comment"> */3" > v2#L13. idc=L13. class="line. namrc=L13.> 1132.a6#include < v2#L14. idc=L14. class="line. namrc=L14.> 1142.a6#include < v2#L15. idc=L15. class="line. namrc=L15.> 1152.a6#include < v2#L16. idc=L16. class="line. namrc=L16.> 1162.a6#include < v2#L17. idc=L17. class="line. namrc=L17.> 1172.a6#include < v2#L18. idc=L18. class="line. namrc=L18.> 1182.a6#include < v2#L19. idc=L19. class="line. namrc=L19.> 1192.a6#include < v2#L20. idc=L20. class="line. namrc=L20.> 1202.a6#include < v2#L21. idc=L21. class="line. namrc=L21.> 1212.a6#include < v2#L22. idc=L22. class="line. namrc=L22.> 1222.a6#include < v2#L23. idc=L23. class="line. namrc=L23.> 1232.a6 v2#L24. idc=L24. class="line. namrc=L24.> 1242.a63 class="comment">/*3" > v2#L25. idc=L25. class="line. namrc=L25.> 1252.a63 class="comment"> * Change this to 1 if you want to see the 6ailuop printouts:3" > v2#L26. idc=L26. class="line. namrc=L26.> 1262.a63 class="comment"> */3" > v2#L27. idc=L27. class="line. namrc=L27.> 1272.a6debug_.6.3s_verbose2.a6; v2#L28. idc=L28. class="line. namrc=L28.> 1282.a6 v2#L29. idc=L29. class="line. namrc=L29.> 1292.a6__init2.a6/opt optio+code=setup_debug_.6.3s_verbose" class="sopt">setup_debug_.6.3s_verbose2.a6(char *opt optio+code=str" class="sopt">str2.a6) v2#L30. idc=L30. class="line. namrc=L30.> 1302.a6{ v2#L31. idc=L31. class="line. namrc=L31.> 1312.a6 opt optio+code=get_test.c" class="sopt">get_test.c2.a6(&opt optio+code=str" class="sopt">str2.a6, &opt optio+code=debug_.6.3s_verbose" class="sopt">debug_.6.3s_verbose2.a6); v2#L32. idc=L32. class="line. namrc=L32.> 1322.a6 v2#L33. idc=L33. class="line. namrc=L33.> 1332.a6 return 1; v2#L34. idc=L34. class="line. namrc=L34.> 1342.a6} v2#L35. idc=L35. class="line. namrc=L35.> 1352.a6 v2#L36. idc=L36. class="line. namrc=L36.> 1362.a63pt optio+code=__setup" class="sopt">__setup2.a6(3 class="str5.6">"debug_.6.3s_verbose="3" >,/opt optio+code=setup_debug_.6.3s_verbose" class="sopt">setup_debug_.6.3s_verbose2.a6); v2#L37. idc=L37. class="line. namrc=L37.> 1372.a6 v2#L38. idc=L38. class="line. namrc=L38.> 1382.a6#define/opt optio+code=FAILURE" class="sopt">FAILURE2.a6 0 v2#L39. idc=L39. class="line. namrc=L39.> 1392.a6#define/opt optio+code=SUCCESS" class="sopt">SUCCESS2.a6 1 v2#L40. idc=L40. class="line. namrc=L40.> 1402.a6 v2#L41. idc=L41. class="line. namrc=L41.> 1412.a6#define/opt optio+code=LOCKTYPE_SPIN" class="sopt">LOCKTYPE_SPIN2.a6 0x1 v2#L42. idc=L42. class="line. namrc=L42.> 1422.a6#define/opt optio+code=LOCKTYPE_RWLOCK" class="sopt">LOCKTYPE_RWLOCK2.a6 0x2 v2#L43. idc=L43. class="line. namrc=L43.> 1432.a6#define/opt optio+code=LOCKTYPE_MUTEX" class="sopt">LOCKTYPE_MUTEX2.a6 0x4 v2#L44. idc=L44. class="line. namrc=L44.> 1442.a6#define/opt optio+code=LOCKTYPE_RWSEM" class="sopt">LOCKTYPE_RWSEM2.a6 0x8 v2#L45. idc=L45. class="line. namrc=L45.> 1452.a6 v2#L46. idc=L46. class="line. namrc=L46.> 1462.a63 class="comment">/*3" > v2#L47. idc=L47. class="line. namrc=L47.> 1472.a63 class="comment"> * Normal v2#L48. idc=L48. class="line. namrc=L48.> 1482.a63 class="comment"> * dependency > s:3" > v2#L49. idc=L49. class="line. namrc=L49.> 1492.a63 class="comment"> */3" > v2#L50. idc=L50. class="line. namrc=L50.> 1502.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_A" class="sopt">.6.3_A2.a6); v2#L51. idc=L51. class="line. namrc=L51.> 1512.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_B" class="sopt">.6.3_B2.a6); v2#L52. idc=L52. class="line. namrc=L52.> 1522.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_C" class="sopt">.6.3_C2.a6); v2#L53. idc=L53. class="line. namrc=L53.> 1532.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_D" class="sopt">.6.3_D2.a6); v2#L54. idc=L54. class="line. namrc=L54.> 1542.a6 v2#L55. idc=L55. class="line. namrc=L55.> 1552.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_A" class="sopt">rw.6.3_A2.a6); v2#L56. idc=L56. class="line. namrc=L56.> 1562.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_B" class="sopt">rw.6.3_B2.a6); v2#L57. idc=L57. class="line. namrc=L57.> 1572.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_C" class="sopt">rw.6.3_C2.a6); v2#L58. idc=L58. class="line. namrc=L58.> 1582.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_D" class="sopt">rw.6.3_D2.a6); v2#L59. idc=L59. class="line. namrc=L59.> 1592.a6 v2#L60. idc=L60. class="line. namrc=L60.> 1602.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_A" class="sopt">mutex_A2.a6); v2#L61. idc=L61. class="line. namrc=L61.> 1612.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_B" class="sopt">mutex_B2.a6); v2#L62. idc=L62. class="line. namrc=L62.> 1622.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_C" class="sopt">mutex_C2.a6); v2#L63. idc=L63. class="line. namrc=L63.> 1632.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_D" class="sopt">mutex_D2.a6); v2#L64. idc=L64. class="line. namrc=L64.> 1642.a6 v2#L65. idc=L65. class="line. namrc=L65.> 1652.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_A" class="sopt">rwsem_A2.a6); v2#L66. idc=L66. class="line. namrc=L66.> 1662.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_B" class="sopt">rwsem_B2.a6); v2#L67. idc=L67. class="line. namrc=L67.> 1672.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_C" class="sopt">rwsem_C2.a6); v2#L68. idc=L68. class="line. namrc=L68.> 1682.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_D" class="sopt">rwsem_D2.a6); v2#L69. idc=L69. class="line. namrc=L69.> 1692.a6 v2#L70. idc=L70. class="line. namrc=L70.> 17tioa63 class="comment">/*3" > v2#L71. idc=L71. class="line. namrc=L71.> 1712.a63 class="comment"> * L6.3s that we initialize dynamically as well v2#L72. idc=L72. class="line. namrc=L72.> 1722.a63 class="comment"> * e.g. X1 and X2 becomes two in v2#L73. idc=L73. class="line. namrc=L73.> 1732.a63 class="comment"> * but X* and Y* are different classes. We do this v2#L74. idc=L74. class="line. namrc=L74.> 1742.a63 class="comment"> * we do not trigger a real/.6.3up:3" > v2#L75. idc=L75. class="line. namrc=L75.> 1752.a63 class="comment"> */3" > v2#L76. idc=L76. class="line. namrc=L76.> 1762.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_X1" class="sopt">.6.3_X12.a6); v2#L77. idc=L77. class="line. namrc=L77.> 1772.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_X2" class="sopt">.6.3_X22.a6); v2#L78. idc=L78. class="line. namrc=L78.> 1782.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_Y1" class="sopt">.6.3_Y12.a6); v2#L79. idc=L79. class="line. namrc=L79.> 1792.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_Y2" class="sopt">.6.3_Y22.a6); v2#L80. idc=L80. class="line. namrc=L80.> 1802.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_Z1" class="sopt">.6.3_Z12.a6); v2#L81. idc=L81. class="line. namrc=L81.> 1812.a6DEFINE_SPINLOCK2.a6(3pt optio+code=.6.3_Z2" class="sopt">.6.3_Z22.a6); v2#L82. idc=L82. class="line. namrc=L82.> 1822.a6 v2#L83. idc=L83. class="line. namrc=L83.> 1832.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_X1" class="sopt">rw.6.3_X12.a6); v2#L84. idc=L84. class="line. namrc=L84.> 1842.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_X2" class="sopt">rw.6.3_X22.a6); v2#L85. idc=L85. class="line. namrc=L85.> 1852.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_Y1" class="sopt">rw.6.3_Y12.a6); v2#L86. idc=L86. class="line. namrc=L86.> 1862.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_Y2" class="sopt">rw.6.3_Y22.a6); v2#L87. idc=L87. class="line. namrc=L87.> 1872.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_Z1" class="sopt">rw.6.3_Z12.a6); v2#L88. idc=L88. class="line. namrc=L88.> 1882.a6DEFINE_RWLOCK2.a6(3pt optio+code=rw.6.3_Z2" class="sopt">rw.6.3_Z22.a6); v2#L89. idc=L89. class="line. namrc=L89.> 1892.a6 v2#L90. idc=L90. class="line. namrc=L90.> 1902.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_X1" class="sopt">mutex_X12.a6); v2#L91. idc=L91. class="line. namrc=L91.> 1912.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_X2" class="sopt">mutex_X22.a6); v2#L92. idc=L92. class="line. namrc=L92.> 1922.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_Y1" class="sopt">mutex_Y12.a6); v2#L93. idc=L93. class="line. namrc=L93.> 1932.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_Y2" class="sopt">mutex_Y22.a6); v2#L94. idc=L94. class="line. namrc=L94.> 1942.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_Z1" class="sopt">mutex_Z12.a6); v2#L95. idc=L95. class="line. namrc=L95.> 1952.a6DEFINE_MUTEX2.a6(3pt optio+code=mutex_Z2" class="sopt">mutex_Z22.a6); v2#L96. idc=L96. class="line. namrc=L96.> 1962.a6 v2#L97. idc=L97. class="line. namrc=L97.> 1972.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_X1" class="sopt">rwsem_X12.a6); v2#L98. idc=L98. class="line. namrc=L98.> 1982.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_X2" class="sopt">rwsem_X22.a6); v2#L99. idc=L99. class="line. namrc=L99.> 1992.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_Y1" class="sopt">rwsem_Y12.a6); v2#L100. idc=L100. class="line. namrc=L100.> 1002.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_Y2" class="sopt">rwsem_Y22.a6); v2#L101. idc=L101. class="line. namrc=L101.> 1012.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_Z1" class="sopt">rwsem_Z12.a6); v2#L102. idc=L102. class="line. namrc=L102.> 1022.a6DECLARE_RWSEM2.a6(3pt optio+code=rwsem_Z2" class="sopt">rwsem_Z22.a6); v2#L103. idc=L103. class="line. namrc=L103.> 1032.a6 v2#L104. idc=L104. class="line. namrc=L104.> 1042.a63 class="comment">/*3" > v2#L105. idc=L105. class="line. namrc=L105.> 1052.a63 class="comment"> * non-inlined runtime initializers, to let separate/.6.3s share3" > v2#L106. idc=L106. class="line. namrc=L106.> 1062.a63 class="comment"> * the samr .6.3-class:3" > v2#L107. idc=L107. class="line. namrc=L107.> 1072.a63 class="comment"> */3" > v2#L108. idc=L108. class="line. namrc=L108.> 1082.a6#define/opt optio+code=INIT_CLASS_FUNC" class="sopt">INIT_CLASS_FUNC2.a6(3pt optio+code=class" class="sopt">class2.a6) \ v2#L109. idc=L109. class="line. namrc=L109.> 1092.a6noinline2.a6 void \ v2#L110. idc=L110. class="line. namrc=L110.> 1ptioa63pt optio+code=init_class_" class="sopt">init_class_2.a6##class(3pt optio+code=spin.6.3_t" class="sopt">spin.6.3_t2.a6 *opt optio+code=.6.3" class="sopt">.6.32.a6,/opt optio+code=rw.6.3_t" class="sopt">rw.6.3_t2.a6 *opt optio+code=rw.6.3" class="sopt">rw.6.32.a6,/struct/opt optio+code=mutex" class="sopt">mutex2.a6 *opt optio+code=mutex" class="sopt">mutex2.a6, \ v2#L111. idc=L111. class="line. namrc=L111.> 1112.a6 struct/opt optio+code=rw_ maphore" class="sopt">rw_ maphore2.a6 *opt optio+code=rw m" class="sopt">rwsem2.a6) \ v2#L112. idc=L112. class="line. namrc=L112.> 1122.a6{ \ v2#L113. idc=L113. class="line. namrc=L113.> 1132.a6 3pt optio+code=spin_.6.3_init" class="sopt">spin_.6.3_init2.a6(3pt optio+code=.6.3" class="sopt">.6.32.a6); \ v2#L114. idc=L114. class="line. namrc=L114.> 1142.a6 3pt optio+code=rw.6.3_init" class="sopt">rw.6.3_init2.a6(3pt optio+code=rw.6.3" class="sopt">rw.6.32.a6); \ v2#L115. idc=L115. class="line. namrc=L115.> 1152.a6 3pt optio+code=mutex_init" class="sopt">mutex_init2.a6(3pt optio+code=mutex" class="sopt">mutex2.a6); \ v2#L116. idc=L116. class="line. namrc=L116.> 1162.a6 3pt optio+code=init_rw m" class="sopt">init_rw m2.a6(3pt optio+code=rwsem" class="sopt">rwsem2.a6); \ v2#L117. idc=L117. class="line. namrc=L117.> 1172.a6} v2#L118. idc=L118. class="line. namrc=L118.> 1182.a6 v2#L119. idc=L119. class="line. namrc=L119.> 1192.a6opt optio+code=INIT_CLASS_FUNC" class="sopt">INIT_CLASS_FUNC2.a6(3pt optio+code=X" class="sopt">X2.a6) v2#L120. idc=L120. class="line. namrc=L120.> 12tioa63pt optio+code=INIT_CLASS_FUNC" class="sopt">INIT_CLASS_FUNC2.a6(3pt optio+code=Y" class="sopt">Y2.a6) v2#L121. idc=L121. class="line. namrc=L121.> 1212.a63pt optio+code=INIT_CLASS_FUNC" class="sopt">INIT_CLASS_FUNC2.a6(3pt optio+code=Z" class="sopt">Z2.a6) v2#L122. idc=L122. class="line. namrc=L122.> 1222.a6 v2#L123. idc=L123. class="line. namrc=L123.> 1232.a6init_shared_classes2.a6(void) v2#L124. idc=L124. class="line. namrc=L124.> 1242.a6{ v2#L125. idc=L125. class="line. namrc=L125.> 1252.a6 3pt optio+code=init_class_X" class="sopt">init_class_X2.a6(&opt optio+code=.6.3_X1" class="sopt">.6.3_X12.a6, &opt optio+code=rw.6.3_X1" class="sopt">rw.6.3_X12.a6, &opt optio+code=mutex_X1" class="sopt">mutex_X12.a6, &opt optio+code=rwsem_X1" class="sopt">rwsem_X12.a6); v2#L126. idc=L126. class="line. namrc=L126.> 1262.a6 3pt optio+code=init_class_X" class="sopt">init_class_X2.a6(&opt optio+code=.6.3_X2" class="sopt">.6.3_X22.a6, &opt optio+code=rw.6.3_X2" class="sopt">rw.6.3_X22.a6, &opt optio+code=mutex_X2" class="sopt">mutex_X22.a6, &opt optio+code=rwsem_X2" class="sopt">rwsem_X22.a6); v2#L127. idc=L127. class="line. namrc=L127.> 1272.a6 v2#L128. idc=L128. class="line. namrc=L128.> 1282.a6 3pt optio+code=init_class_Y" class="sopt">init_class_Y2.a6(&opt optio+code=.6.3_Y1" class="sopt">.6.3_Y12.a6, &opt optio+code=rw.6.3_Y1" class="sopt">rw.6.3_Y12.a6, &opt optio+code=mutex_Y1" class="sopt">mutex_Y12.a6, &opt optio+code=rwsem_Y1" class="sopt">rwsem_Y12.a6); v2#L129. idc=L129. class="line. namrc=L129.> 1292.a6 3pt optio+code=init_class_Y" class="sopt">init_class_Y2.a6(&opt optio+code=.6.3_Y2" class="sopt">.6.3_Y22.a6, &opt optio+code=rw.6.3_Y2" class="sopt">rw.6.3_Y22.a6, &opt optio+code=mutex_Y2" class="sopt">mutex_Y22.a6, &opt optio+code=rwsem_Y2" class="sopt">rwsem_Y22.a6); v2#L130. idc=L130. class="line. namrc=L130.> 1302.a6 v2#L131. idc=L131. class="line. namrc=L131.> 1312.a6 opt optio+code=init_class_Z" class="sopt">init_class_Z2.a6(&opt optio+code=.6.3_Z1" class="sopt">.6.3_Z12.a6, &opt optio+code=rw.6.3_Z1" class="sopt">rw.6.3_Z12.a6, &opt optio+code=mutex_Z1" class="sopt">mutex_Z12.a6, &opt optio+code=rwsem_Z1" class="sopt">rwsem_Z12.a6); v2#L132. idc=L132. class="line. namrc=L132.> 1322.a6 opt optio+code=init_class_Z" class="sopt">init_class_Z2.a6(&opt optio+code=.6.3_Z2" class="sopt">.6.3_Z22.a6, &opt optio+code=rw.6.3_Z2" class="sopt">rw.6.3_Z22.a6, &opt optio+code=mutex_Z2" class="sopt">mutex_Z22.a6, &opt optio+code=rwsem_Z2" class="sopt">rwsem_Z22.a6); v2#L133. idc=L133. class="line. namrc=L133.> 1332.a6} v2#L134. idc=L134. class="line. namrc=L134.> 1342.a6 v2#L135. idc=L135. class="line. namrc=L135.> 1352.a63 class="comment">/*3" > v2#L136. idc=L136. class="line. namrc=L136.> 1362.a63 class="comment"> * For spin.6.3s and rw.6.3s we also do hardirq-safe / softirq-safe > s.3" > v2#L137. idc=L137. class="line. namrc=L137.> 1372.a63 class="comment"> * The 6ollow5.6 funcst.cs use a .6.3 from a simulated hardirq/softirq3" > v2#L138. idc=L138. class="line. namrc=L138.> 1382.a63 class="comment"> * context, caus5.6 the .6.3s to be marked as hardirq-safe/softirq-safe:3" > v2#L139. idc=L139. class="line. namrc=L139.> 1392.a63 class="comment"> */3" > v2#L140. idc=L140. class="line. namrc=L140.> 1402.a6 v2#L141. idc=L141. class="line. namrc=L141.> 1412.a6#define/opt optio+code=HARDIRQ_DISABLE" class="sopt">HARDIRQ_DISABLE2.a6 opt optio+code=.6.al_irq_disable" class="sopt">.6.al_irq_disable2.a6 v2#L142. idc=L142. class="line. namrc=L142.> 1422.a6#define/opt optio+code=HARDIRQ_ENABLE" class="sopt">HARDIRQ_ENABLE2.a6 opt optio+code=.6.al_irq_enable" class="sopt">.6.al_irq_enable2.a6 v2#L143. idc=L143. class="line. namrc=L143.> 1432.a6 v2#L144. idc=L144. class="line. namrc=L144.> 1442.a6#define/opt optio+code=HARDIRQ_ENTER" class="sopt">HARDIRQ_ENTER2.a6() \ v2#L145. idc=L145. class="line. namrc=L145.> 1452.a6 3pt optio+code=.6.al_irq_disable" class="sopt">.6.al_irq_disable2.a6(); \ v2#L146. idc=L146. class="line. namrc=L146.> 1462.a6 3pt optio+code=__irq_enter" class="sopt">__irq_enter2.a6(); \ v2#L147. idc=L147. class="line. namrc=L147.> 1472.a6 3pt optio+code=WARN_ON" class="sopt">WARN_ON2.a6(!opt optio+code=in_irq" class="sopt">in_irq3"a6()); v2#L148. idc=L148. class="line. namrc=L148.> 1482.a6 v2#L149. idc=L149. class="line. namrc=L149.> 1492.a6#define/opt optio+code=HARDIRQ_EXIT" class="sopt">HARDIRQ_EXIT2.a6() \ v2#L150. idc=L150. class="line. namrc=L150.> 1502.a6 3pt optio+code=__irq_exit" class="sopt">__irq_exit2.a6(); \ v2#L151. idc=L151. class="line. namrc=L151.> 1512.a6 opt optio+code=.6.al_irq_enable" class="sopt">.6.al_irq_enable2.a6(); v2#L152. idc=L152. class="line. namrc=L152.> 1522.a6 v2#L153. idc=L153. class="line. namrc=L153.> 1532.a6#define/opt optio+code=SOFTIRQ_DISABLE" class="sopt">SOFTIRQ_DISABLE2.a6 opt optio+code=.6.al_bh_disable" class="sopt">.6.al_bh_disable2.a6 v2#L154. idc=L154. class="line. namrc=L154.> 1542.a6#define/opt optio+code=SOFTIRQ_ENABLE" class="sopt">SOFTIRQ_ENABLE2.a6 opt optio+code=.6.al_bh_enable" class="sopt">.6.al_bh_enable2.a6 v2#L155. idc=L155. class="line. namrc=L155.> 1552.a6 v2#L156. idc=L156. class="line. namrc=L156.> 1562.a6#define/opt optio+code=SOFTIRQ_ENTER" class="sopt">SOFTIRQ_ENTER2.a6() \ v2#L157. idc=L157. class="line. namrc=L157.> 1572.a6 opt optio+code=.6.al_bh_disable" class="sopt">.6.al_bh_disable2.a6(); \ v2#L158. idc=L158. class="line. namrc=L158.> 1582.a6 opt optio+code=.6.al_irq_disable" class="sopt">.6.al_irq_disable2.a6(); \ v2#L159. idc=L159. class="line. namrc=L159.> 1592.a6 opt optio+code=.6.3dep_softirq_enter" class="sopt">.6.3dep_softirq_enter2.a6(); \ v2#L160. idc=L160. class="line. namrc=L160.> 1602.a6 opt optio+code=WARN_ON" class="sopt">WARN_ON2.a6(!opt optio+code=in_softirq" class="sopt">in_softirq3"a6()); v2#L161. idc=L161. class="line. namrc=L161.> 1612.a6 v2#L162. idc=L162. class="line. namrc=L162.> 1622.a6#define/opt optio+code=SOFTIRQ_EXIT" class="sopt">SOFTIRQ_EXIT2.a6() \ v2#L163. idc=L163. class="line. namrc=L163.> 1632.a6 opt optio+code=.6.3dep_softirq_exit" class="sopt">.6.3dep_softirq_exit2.a6(); \ v2#L164. idc=L164. class="line. namrc=L164.> 1642.a6 opt optio+code=.6.al_irq_enable" class="sopt">.6.al_irq_enable2.a6(); \ v2#L165. idc=L165. class="line. namrc=L165.> 1652.a6 opt optio+code=.6.al_bh_enable" class="sopt">.6.al_bh_enable2.a6(); v2#L166. idc=L166. class="line. namrc=L166.> 1662.a6 v2#L167. idc=L167. class="line. namrc=L167.> 1672.a63 class="comment">/*3" > v2#L168. idc=L168. class="line. namrc=L168.> 1682.a63 class="comment"> * Shortcuts 6.3 .6.3/un.6.3 API mgriants, to keep3" > v2#L169. idc=L169. class="line. namrc=L169.> 1692.a63 class="comment"> * the > cases compact:3" > v2#L170. idc=L170. class="line. namrc=L170.> 17tioa63 class="comment"> */3" > v2#L171. idc=L171. class="line. namrc=L171.> 1712.a6#define/opt optio+code=L" class="sopt">L2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=spin_.6.3" class="sopt">spin_.6.32.a6(&opt optio+code=.6.3_" class="sopt">.6.3_2.a6##x) v2#L172. idc=L172. class="line. namrc=L172.> 1722.a6#define/opt optio+code=U" class="sopt">U2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=spin_un.6.3" class="sopt">spin_un.6.32.a6(&opt optio+code=.6.3_" class="sopt">.6.3_2.a6##x) v2#L173. idc=L173. class="line. namrc=L173.> 1732.a6#define/opt optio+code=LU" class="sopt">LU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=L" class="sopt">L2.a6(3pt optio+code=x" class="sopt">x2.a6);/opt optio+code=U" class="sopt">U2.a6(3pt optio+code=x" class="sopt">x2.a6) v2#L174. idc=L174. class="line. namrc=L174.> 1742.a6#define/opt optio+code=SI" class="sopt">SI2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=spin_.6.3_init" class="sopt">spin_.6.3_init2.a6(&opt optio+code=.6.3_" class="sopt">.6.3_2.a6##x) v2#L175. idc=L175. class="line. namrc=L175.> 1752.a6 v2#L176. idc=L176. class="line. namrc=L176.> 1762.a6#define/opt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=write_.6.3" class="sopt">write_.6.32.a6(&opt optio+code=rw.6.3_" class="sopt">rw.6.3_2.a6##x) v2#L177. idc=L177. class="line. namrc=L177.> 1772.a6#define/opt optio+code=WU" class="sopt">WU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=write_un.6.3" class="sopt">write_un.6.32.a6(&opt optio+code=rw.6.3_" class="sopt">rw.6.3_2.a6##x) v2#L178. idc=L178. class="line. namrc=L178.> 1782.a6#define/opt optio+code=WLU" class="sopt">WLU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=x" class="sopt">x2.a6);/opt optio+code=WU" class="sopt">WU2.a6(3pt optio+code=x" class="sopt">x2.a6) v2#L179. idc=L179. class="line. namrc=L179.> 1792.a6 v2#L180. idc=L180. class="line. namrc=L180.> 1802.a6#define/opt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=read_.6.3" class="sopt">read_.6.32.a6(&opt optio+code=rw.6.3_" class="sopt">rw.6.3_2.a6##x) v2#L181. idc=L181. class="line. namrc=L181.> 1812.a6#define/opt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=read_un.6.3" class="sopt">read_un.6.32.a6(&opt optio+code=rw.6.3_" class="sopt">rw.6.3_2.a6##x) v2#L182. idc=L182. class="line. namrc=L182.> 1822.a6#define/opt optio+code=RLU" class="sopt">RLU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=x" class="sopt">x2.a6);/opt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=x" class="sopt">x2.a6) v2#L183. idc=L183. class="line. namrc=L183.> 1832.a6#define/opt optio+code=RWI" class="sopt">RWI2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=rw.6.3_init" class="sopt">rw.6.3_init2.a6(&opt optio+code=rw.6.3_" class="sopt">rw.6.3_2.a6##x) v2#L184. idc=L184. class="line. namrc=L184.> 1842.a6 v2#L185. idc=L185. class="line. namrc=L185.> 1852.a6#define/opt optio+code=ML" class="sopt">ML2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=mutex_.6.3" class="sopt">mutex_.6.32.a6(&opt optio+code=mutex_" class="sopt">mutex_2.a6##x) v2#L186. idc=L186. class="line. namrc=L186.> 1862.a6#define/opt optio+code=MU" class="sopt">MU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=mutex_un.6.3" class="sopt">mutex_un.6.32.a6(&opt optio+code=mutex_" class="sopt">mutex_2.a6##x) v2#L187. idc=L187. class="line. namrc=L187.> 1872.a6#define/opt optio+code=MI" class="sopt">MI2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=mutex_init" class="sopt">mutex_init2.a6(&opt optio+code=mutex_" class="sopt">mutex_2.a6##x) v2#L188. idc=L188. class="line. namrc=L188.> 1882.a6 v2#L189. idc=L189. class="line. namrc=L189.> 1892.a6#define/opt optio+code=WSL" class="sopt">WSL2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=down_write" class="sopt">down_write2.a6(&opt optio+code=rwsem_" class="sopt">rwsem_2.a6##x) v2#L190. idc=L190. class="line. namrc=L190.> 1902.a6#define/opt optio+code=WSU" class="sopt">WSU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=up_write" class="sopt">up_write2.a6(&opt optio+code=rwsem_" class="sopt">rwsem_2.a6##x) v2#L191. idc=L191. class="line. namrc=L191.> 1912.a6 v2#L192. idc=L192. class="line. namrc=L192.> 1922.a6#define/opt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=x" class="sopt">x2.a6) 3pt optio+code=down_read" class="sopt">down_read2.a6(&opt optio+code=rwsem_" class="sopt">rwsem_2.a6##x) v2#L193. idc=L193. class="line. namrc=L193.> 1932.a6#define/opt optio+code=RSU" class="sopt">RSU2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=up_read" class="sopt">up_read2.a6(&opt optio+code=rwsem_" class="sopt">rwsem_2.a6##x) v2#L194. idc=L194. class="line. namrc=L194.> 1942.a6#define/opt optio+code=RWSI" class="sopt">RWSI2.a6(3pt optio+code=x" class="sopt">x2.a6) opt optio+code=init_rw m" class="sopt">init_rw m2.a6(&opt optio+code=rwsem_" class="sopt">rwsem_2.a6##x) v2#L195. idc=L195. class="line. namrc=L195.> 1952.a6 v2#L196. idc=L196. class="line. namrc=L196.> 1962.a6#define/opt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=x" class="sopt">x2.a6,3pt optio+code=y" class="sopt">y2.a6) opt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=x" class="sopt">x2.a6);/opt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=y" class="sopt">y2.a6);/opt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=y" class="sopt">y2.a6);/opt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=x" class="sopt">x2.a6) v2#L197. idc=L197. class="line. namrc=L197.> 1972.a6 v2#L198. idc=L198. class="line. namrc=L198.> 1982.a63 class="comment">/*3" > v2#L199. idc=L199. class="line. namrc=L199.> 1992.a63 class="comment"> * Generate/different permutast.cs of the samr > case, us5.63" > v2#L200. idc=L200. class="line. namrc=L200.> 20tioa63 class="comment"> * the samr basic .6.3-dependency/ v2#L201. idc=L201. class="line. namrc=L201.> 2012.a63 class="comment"> */3" > v2#L202. idc=L202. class="line. namrc=L202.> 2022.a6 v2#L203. idc=L203. class="line. namrc=L203.> 2032.a6#define/opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=namr" class="sopt">namr2.a6) \ v2#L204. idc=L204. class="line. namrc=L204.> 2042.a6 \ v2#L205. idc=L205. class="line. namrc=L205.> 2052.a6namr2.a6(void) { 3pt optio+code=E" class="sopt">E2.a6();/} v2#L206. idc=L206. class="line. namrc=L206.> 2062.a6 v2#L207. idc=L207. class="line. namrc=L207.> 2072.a6#define/opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=namr" class="sopt">namr2.a6) \ v2#L208. idc=L208. class="line. namrc=L208.> 2082.a6 \ v2#L209. idc=L209. class="line. namrc=L209.> 2092.a6namr2.a6##_12(void) { 3pt optio+code=E1" class="sopt">E12.a6();/3pt optio+code=E2" class="sopt">E22.a6();/} \ v2#L210. idc=L210. class="line. namrc=L210.> 2102.a6namr2.a6##_21(void) { 3pt optio+code=E2" class="sopt">E22.a6();/3pt optio+code=E1" class="sopt">E12.a6();/} v2#L211. idc=L211. class="line. namrc=L211.> 2112.a6 v2#L212. idc=L212. class="line. namrc=L212.> 2122.a6#define/opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=namr" class="sopt">namr2.a6) \ v2#L213. idc=L213. class="line. namrc=L213.> 2132.a6 \ v2#L214. idc=L214. class="line. namrc=L214.> 2142.a6namr2.a6##_123(void) { 3pt optio+code=E1" class="sopt">E12.a6();/3pt optio+code=E2" class="sopt">E22.a6();/3pt optio+code=E3" class="sopt">E32.a6();/} \ v2#L215. idc=L215. class="line. namrc=L215.> 2152.a6namr2.a6##_132(void) { 3pt optio+code=E1" class="sopt">E12.a6();/3pt optio+code=E3" class="sopt">E32.a6();/3pt optio+code=E2" class="sopt">E22.a6();/} \ v2#L216. idc=L216. class="line. namrc=L216.> 2162.a6namr2.a6##_213(void) { 3pt optio+code=E2" class="sopt">E22.a6();/3pt optio+code=E1" class="sopt">E12.a6();/3pt optio+code=E3" class="sopt">E32.a6();/} \ v2#L217. idc=L217. class="line. namrc=L217.> 2172.a6namr2.a6##_231(void) { 3pt optio+code=E2" class="sopt">E22.a6();/3pt optio+code=E3" class="sopt">E32.a6();/3pt optio+code=E1" class="sopt">E12.a6();/} \ v2#L218. idc=L218. class="line. namrc=L218.> 2182.a6namr2.a6##_312(void) { 3pt optio+code=E3" class="sopt">E32.a6();/3pt optio+code=E1" class="sopt">E12.a6();/3pt optio+code=E2" class="sopt">E22.a6();/} \ v2#L219. idc=L219. class="line. namrc=L219.> 2192.a6namr2.a6##_321(void) { 3pt optio+code=E3" class="sopt">E32.a6();/3pt optio+code=E2" class="sopt">E22.a6();/3pt optio+code=E1" class="sopt">E12.a6();/} v2#L220. idc=L220. class="line. namrc=L220.> 2202.a6 v2#L221. idc=L221. class="line. namrc=L221.> 2212.a63 class="comment">/*3" > v2#L222. idc=L222. class="line. namrc=L222.> 2222.a63 class="comment"> * AA dead.6.3:3" > v2#L223. idc=L223. class="line. namrc=L223.> 2232.a63 class="comment"> */3" > v2#L224. idc=L224. class="line. namrc=L224.> 2242.a6 v2#L225. idc=L225. class="line. namrc=L225.> 2252.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L226. idc=L226. class="line. namrc=L226.> 2262.a6 \ v2#L227. idc=L227. class="line. namrc=L227.> 2272.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=X1" class="sopt">X12.a6); \ v2#L228. idc=L228. class="line. namrc=L228.> 2282.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">/* this one/should fail */3" > v2#L229. idc=L229. class="line. namrc=L229.> 2292.a6 v2#L230. idc=L230. class="line. namrc=L230.> 23tioa63 class="comment">/*3" > v2#L231. idc=L231. class="line. namrc=L231.> 2312.a63 class="comment"> * 6 > cases:3" > v2#L232. idc=L232. class="line. namrc=L232.> 2322.a63 class="comment"> */3" > v2#L233. idc=L233. class="line. namrc=L233.> 2332.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L234. idc=L234. class="line. namrc=L234.> 2342.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_spin" class="sopt">AA_spin2.a6) v2#L235. idc=L235. class="line. namrc=L235.> 2352.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L236. idc=L236. class="line. namrc=L236.> 2362.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_w.6.3" class="sopt">AA_w.6.32.a6) v2#L237. idc=L237. class="line. namrc=L237.> 2372.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L238. idc=L238. class="line. namrc=L238.> 2382.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_r.6.3" class="sopt">AA_r.6.32.a6) v2#L239. idc=L239. class="line. namrc=L239.> 2392.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L240. idc=L240. class="line. namrc=L240.> 24tioa63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_mutex" class="sopt">AA_mutex2.a6) v2#L241. idc=L241. class="line. namrc=L241.> 2412.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L242. idc=L242. class="line. namrc=L242.> 2422.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_w m" class="sopt">AA_w m2.a6) v2#L243. idc=L243. class="line. namrc=L243.> 2432.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L244. idc=L244. class="line. namrc=L244.> 2442.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=AA_r m" class="sopt">AA_r m2.a6) v2#L245. idc=L245. class="line. namrc=L245.> 2452.a6 v2#L246. idc=L246. class="line. namrc=L246.> 2462.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L247. idc=L247. class="line. namrc=L247.> 2472.a6 v2#L248. idc=L248. class="line. namrc=L248.> 2482.a63 class="comment">/*3" > v2#L249. idc=L249. class="line. namrc=L249.> 2492.a63 class="comment"> * Special-case 6.3 read-.6.35.6, they are3" > v2#L250. idc=L250. class="line. namrc=L250.> 25tioa63 class="comment"> * allowed to recur on the samr .6.3 class:3" > v2#L251. idc=L251. class="line. namrc=L251.> 2512.a63 class="comment"> */3" > v2#L252. idc=L252. class="line. namrc=L252.> 2522.a6r.6.3_AA12.a6(void) v2#L253. idc=L253. class="line. namrc=L253.> 2532.a6{ v2#L254. idc=L254. class="line. namrc=L254.> 2542.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L255. idc=L255. class="line. namrc=L255.> 2552.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X1" class="sopt">X12.a6); 3 class="comment">// this one/should NOT fail3" > v2#L256. idc=L256. class="line. namrc=L256.> 2562.a6} v2#L257. idc=L257. class="line. namrc=L257.> 2572.a6 v2#L258. idc=L258. class="line. namrc=L258.> 2582.a6r.6.3_AA1B2.a6(void) v2#L259. idc=L259. class="line. namrc=L259.> 2592.a6{ v2#L260. idc=L260. class="line. namrc=L260.> 2602.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L261. idc=L261. class="line. namrc=L261.> 2612.a6 opt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should NOT fail3" > v2#L262. idc=L262. class="line. namrc=L262.> 2622.a6} v2#L263. idc=L263. class="line. namrc=L263.> 2632.a6 v2#L264. idc=L264. class="line. namrc=L264.> 2642.a6r m_AA12.a6(void) v2#L265. idc=L265. class="line. namrc=L265.> 2652.a6{ v2#L266. idc=L266. class="line. namrc=L266.> 2662.a6 3pt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L267. idc=L267. class="line. namrc=L267.> 2672.a6 3pt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X1" class="sopt">X12.a6); 3 class="comment">// this one/should fail3" > v2#L268. idc=L268. class="line. namrc=L268.> 2682.a6} v2#L269. idc=L269. class="line. namrc=L269.> 2692.a6 v2#L270. idc=L270. class="line. namrc=L270.> 2702.a6r m_AA1B2.a6(void) v2#L271. idc=L271. class="line. namrc=L271.> 2712.a6{ v2#L272. idc=L272. class="line. namrc=L272.> 2722.a6 opt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L273. idc=L273. class="line. namrc=L273.> 2732.a6 3pt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should fail3" > v2#L274. idc=L274. class="line. namrc=L274.> 2742.a6} v2#L275. idc=L275. class="line. namrc=L275.> 2752.a63 class="comment">/*3" > v2#L276. idc=L276. class="line. namrc=L276.> 2762.a63 class="comment"> * The mix5.6 of read and write .6.3s is not allowed:3" > v2#L277. idc=L277. class="line. namrc=L277.> 2772.a63 class="comment"> */3" > v2#L278. idc=L278. class="line. namrc=L278.> 2782.a6r.6.3_AA22.a6(void) v2#L279. idc=L279. class="line. namrc=L279.> 2792.a6{ v2#L280. idc=L280. class="line. namrc=L280.> 2802.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L281. idc=L281. class="line. namrc=L281.> 2812.a6 opt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should fail3" > v2#L282. idc=L282. class="line. namrc=L282.> 2822.a6} v2#L283. idc=L283. class="line. namrc=L283.> 2832.a6 v2#L284. idc=L284. class="line. namrc=L284.> 2842.a6r m_AA22.a6(void) v2#L285. idc=L285. class="line. namrc=L285.> 2852.a6{ v2#L286. idc=L286. class="line. namrc=L286.> 2862.a6 3pt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L287. idc=L287. class="line. namrc=L287.> 2872.a6 3pt optio+code=WSL" class="sopt">WSL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should fail3" > v2#L288. idc=L288. class="line. namrc=L288.> 2882.a6} v2#L289. idc=L289. class="line. namrc=L289.> 2892.a6 v2#L290. idc=L290. class="line. namrc=L290.> 2902.a6r.6.3_AA32.a6(void) v2#L291. idc=L291. class="line. namrc=L291.> 2912.a6{ v2#L292. idc=L292. class="line. namrc=L292.> 2922.a6 opt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L293. idc=L293. class="line. namrc=L293.> 2932.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should fail3" > v2#L294. idc=L294. class="line. namrc=L294.> 2942.a6} v2#L295. idc=L295. class="line. namrc=L295.> 2952.a6 v2#L296. idc=L296. class="line. namrc=L296.> 2962.a6r m_AA32.a6(void) v2#L297. idc=L297. class="line. namrc=L297.> 2972.a6{ v2#L298. idc=L298. class="line. namrc=L298.> 2982.a6 3pt optio+code=WSL" class="sopt">WSL2.a6(3pt optio+code=X1" class="sopt">X12.a6); v2#L299. idc=L299. class="line. namrc=L299.> 2992.a6 3pt optio+code=RSL" class="sopt">RSL2.a6(3pt optio+code=X2" class="sopt">X22.a6); 3 class="comment">// this one/should fail3" > v2#L300. idc=L300. class="line. namrc=L300.> 30tioa6} v2#L301. idc=L301. class="line. namrc=L301.> 3012.a6 v2#L302. idc=L302. class="line. namrc=L302.> 3022.a63 class="comment">/*3" > v2#L303. idc=L303. class="line. namrc=L303.> 3032.a63 class="comment"> * ABBA dead.6.3:3" > v2#L304. idc=L304. class="line. namrc=L304.> 3042.a63 class="comment"> */3" > v2#L305. idc=L305. class="line. namrc=L305.> 3052.a6 v2#L306. idc=L306. class="line. namrc=L306.> 3062.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L307. idc=L307. class="line. namrc=L307.> 3072.a6 \ v2#L308. idc=L308. class="line. namrc=L308.> 3082.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L309. idc=L309. class="line. namrc=L309.> 3092.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L310. idc=L310. class="line. namrc=L310.> 3102.a6 v2#L311. idc=L311. class="line. namrc=L311.> 3112.a63 class="comment">/*3" > v2#L312. idc=L312. class="line. namrc=L312.> 3122.a63 class="comment"> * 6 > cases:3" > v2#L313. idc=L313. class="line. namrc=L313.> 3132.a63 class="comment"> */3" > v2#L314. idc=L314. class="line. namrc=L314.> 3142.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L315. idc=L315. class="line. namrc=L315.> 3152.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_spin" class="sopt">ABBA_spin2.a6) v2#L316. idc=L316. class="line. namrc=L316.> 3162.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L317. idc=L317. class="line. namrc=L317.> 3172.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_w.6.3" class="sopt">ABBA_w.6.32.a6) v2#L318. idc=L318. class="line. namrc=L318.> 3182.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L319. idc=L319. class="line. namrc=L319.> 3192.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_r.6.3" class="sopt">ABBA_r.6.32.a6) v2#L320. idc=L320. class="line. namrc=L320.> 3202.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L321. idc=L321. class="line. namrc=L321.> 3212.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_mutex" class="sopt">ABBA_mutex2.a6) v2#L322. idc=L322. class="line. namrc=L322.> 3222.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L323. idc=L323. class="line. namrc=L323.> 3232.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_w m" class="sopt">ABBA_w m2.a6) v2#L324. idc=L324. class="line. namrc=L324.> 3242.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L325. idc=L325. class="line. namrc=L325.> 3252.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBA_r m" class="sopt">ABBA_r m2.a6) v2#L326. idc=L326. class="line. namrc=L326.> 3262.a6 v2#L327. idc=L327. class="line. namrc=L327.> 3272.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L328. idc=L328. class="line. namrc=L328.> 3282.a6 v2#L329. idc=L329. class="line. namrc=L329.> 3292.a63 class="comment">/*3" > v2#L330. idc=L330. class="line. namrc=L330.> 33tioa63 class="comment"> * AB BC CA dead.6.3:3" > v2#L331. idc=L331. class="line. namrc=L331.> 3312.a63 class="comment"> */3" > v2#L332. idc=L332. class="line. namrc=L332.> 3322.a6 v2#L333. idc=L333. class="line. namrc=L333.> 3332.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L334. idc=L334. class="line. namrc=L334.> 3342.a6 \ v2#L335. idc=L335. class="line. namrc=L335.> 3352.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L336. idc=L336. class="line. namrc=L336.> 3362.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=C" class="sopt">C2.a6); \ v2#L337. idc=L337. class="line. namrc=L337.> 3372.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=C" class="sopt">C2.a6, 3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L338. idc=L338. class="line. namrc=L338.> 3382.a6 v2#L339. idc=L339. class="line. namrc=L339.> 3392.a63 class="comment">/*3" > v2#L340. idc=L340. class="line. namrc=L340.> 34tioa63 class="comment"> * 6 > cases:3" > v2#L341. idc=L341. class="line. namrc=L341.> 3412.a63 class="comment"> */3" > v2#L342. idc=L342. class="line. namrc=L342.> 3422.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L343. idc=L343. class="line. namrc=L343.> 3432.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_spin" class="sopt">ABBCCA_spin2.a6) v2#L344. idc=L344. class="line. namrc=L344.> 3442.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L345. idc=L345. class="line. namrc=L345.> 3452.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_w.6.3" class="sopt">ABBCCA_w.6.32.a6) v2#L346. idc=L346. class="line. namrc=L346.> 3462.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L347. idc=L347. class="line. namrc=L347.> 3472.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_r.6.3" class="sopt">ABBCCA_r.6.32.a6) v2#L348. idc=L348. class="line. namrc=L348.> 3482.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L349. idc=L349. class="line. namrc=L349.> 3492.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_mutex" class="sopt">ABBCCA_mutex2.a6) v2#L350. idc=L350. class="line. namrc=L350.> 3502.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L351. idc=L351. class="line. namrc=L351.> 3512.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_w m" class="sopt">ABBCCA_w m2.a6) v2#L352. idc=L352. class="line. namrc=L352.> 3522.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L353. idc=L353. class="line. namrc=L353.> 3532.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCA_r m" class="sopt">ABBCCA_r m2.a6) v2#L354. idc=L354. class="line. namrc=L354.> 3542.a6 v2#L355. idc=L355. class="line. namrc=L355.> 3552.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L356. idc=L356. class="line. namrc=L356.> 3562.a6 v2#L357. idc=L357. class="line. namrc=L357.> 3572.a63 class="comment">/*3" > v2#L358. idc=L358. class="line. namrc=L358.> 3582.a63 class="comment"> * AB CA BC dead.6.3:3" > v2#L359. idc=L359. class="line. namrc=L359.> 3592.a63 class="comment"> */3" > v2#L360. idc=L360. class="line. namrc=L360.> 3602.a6 v2#L361. idc=L361. class="line. namrc=L361.> 3612.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L362. idc=L362. class="line. namrc=L362.> 3622.a6 \ v2#L363. idc=L363. class="line. namrc=L363.> 3632.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L364. idc=L364. class="line. namrc=L364.> 3642.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=C" class="sopt">C2.a6, 3pt optio+code=A" class="sopt">A2.a6); \ v2#L365. idc=L365. class="line. namrc=L365.> 3652.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=C" class="sopt">C2.a6); 3 class="comment">/* fail */3" > v2#L366. idc=L366. class="line. namrc=L366.> 3662.a6 v2#L367. idc=L367. class="line. namrc=L367.> 3672.a63 class="comment">/*3" > v2#L368. idc=L368. class="line. namrc=L368.> 3682.a63 class="comment"> * 6 > cases:3" > v2#L369. idc=L369. class="line. namrc=L369.> 3692.a63 class="comment"> */3" > v2#L370. idc=L370. class="line. namrc=L370.> 3702.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L371. idc=L371. class="line. namrc=L371.> 3712.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_spin" class="sopt">ABCABC_spin2.a6) v2#L372. idc=L372. class="line. namrc=L372.> 3722.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L373. idc=L373. class="line. namrc=L373.> 3732.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_w.6.3" class="sopt">ABCABC_w.6.32.a6) v2#L374. idc=L374. class="line. namrc=L374.> 3742.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L375. idc=L375. class="line. namrc=L375.> 3752.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_r.6.3" class="sopt">ABCABC_r.6.32.a6) v2#L376. idc=L376. class="line. namrc=L376.> 3762.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L377. idc=L377. class="line. namrc=L377.> 3772.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_mutex" class="sopt">ABCABC_mutex2.a6) v2#L378. idc=L378. class="line. namrc=L378.> 3782.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L379. idc=L379. class="line. namrc=L379.> 3792.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_w m" class="sopt">ABCABC_w m2.a6) v2#L380. idc=L380. class="line. namrc=L380.> 3802.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L381. idc=L381. class="line. namrc=L381.> 3812.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCABC_r m" class="sopt">ABCABC_r m2.a6) v2#L382. idc=L382. class="line. namrc=L382.> 3822.a6 v2#L383. idc=L383. class="line. namrc=L383.> 3832.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L384. idc=L384. class="line. namrc=L384.> 3842.a6 v2#L385. idc=L385. class="line. namrc=L385.> 3852.a63 class="comment">/*3" > v2#L386. idc=L386. class="line. namrc=L386.> 3862.a63 class="comment"> * AB BC CD DA dead.6.3:3" > v2#L387. idc=L387. class="line. namrc=L387.> 3872.a63 class="comment"> */3" > v2#L388. idc=L388. class="line. namrc=L388.> 3882.a6 v2#L389. idc=L389. class="line. namrc=L389.> 3892.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L390. idc=L390. class="line. namrc=L390.> 3902.a6 \ v2#L391. idc=L391. class="line. namrc=L391.> 3912.a6 opt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L392. idc=L392. class="line. namrc=L392.> 3922.a6 opt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=C" class="sopt">C2.a6); \ v2#L393. idc=L393. class="line. namrc=L393.> 3932.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=C" class="sopt">C2.a6, 3pt optio+code=D" class="sopt">D2.a6); \ v2#L394. idc=L394. class="line. namrc=L394.> 3942.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=D" class="sopt">D2.a6, 3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L395. idc=L395. class="line. namrc=L395.> 3952.a6 v2#L396. idc=L396. class="line. namrc=L396.> 3962.a63 class="comment">/*3" > v2#L397. idc=L397. class="line. namrc=L397.> 3972.a63 class="comment"> * 6 > cases:3" > v2#L398. idc=L398. class="line. namrc=L398.> 3982.a63 class="comment"> */3" > v2#L399. idc=L399. class="line. namrc=L399.> 3992.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L400. idc=L400. class="line. namrc=L400.> 40tioa63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_spin" class="sopt">ABBCCDDA_spin2.a6) v2#L401. idc=L401. class="line. namrc=L401.> 4012.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L402. idc=L402. class="line. namrc=L402.> 4022.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_w.6.3" class="sopt">ABBCCDDA_w.6.32.a6) v2#L403. idc=L403. class="line. namrc=L403.> 4032.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L404. idc=L404. class="line. namrc=L404.> 4042.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_r.6.3" class="sopt">ABBCCDDA_r.6.32.a6) v2#L405. idc=L405. class="line. namrc=L405.> 4052.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L406. idc=L406. class="line. namrc=L406.> 4062.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_mutex" class="sopt">ABBCCDDA_mutex2.a6) v2#L407. idc=L407. class="line. namrc=L407.> 4072.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L408. idc=L408. class="line. namrc=L408.> 4082.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_w m" class="sopt">ABBCCDDA_w m2.a6) v2#L409. idc=L409. class="line. namrc=L409.> 4092.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L410. idc=L410. class="line. namrc=L410.> 41tioa63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABBCCDDA_r m" class="sopt">ABBCCDDA_r m2.a6) v2#L411. idc=L411. class="line. namrc=L411.> 4112.a6 v2#L412. idc=L412. class="line. namrc=L412.> 4122.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L413. idc=L413. class="line. namrc=L413.> 4132.a6 v2#L414. idc=L414. class="line. namrc=L414.> 4142.a63 class="comment">/*3" > v2#L415. idc=L415. class="line. namrc=L415.> 4152.a63 class="comment"> * AB CD BD DA dead.6.3:3" > v2#L416. idc=L416. class="line. namrc=L416.> 4162.a63 class="comment"> */3" > v2#L417. idc=L417. class="line. namrc=L417.> 4172.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L418. idc=L418. class="line. namrc=L418.> 4182.a6 \ v2#L419. idc=L419. class="line. namrc=L419.> 4192.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L420. idc=L420. class="line. namrc=L420.> 4202.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=C" class="sopt">C2.a6, 3pt optio+code=D" class="sopt">D2.a6); \ v2#L421. idc=L421. class="line. namrc=L421.> 4212.a6 opt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=D" class="sopt">D2.a6); \ v2#L422. idc=L422. class="line. namrc=L422.> 4222.a6 opt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=D" class="sopt">D2.a6, 3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L423. idc=L423. class="line. namrc=L423.> 4232.a6 v2#L424. idc=L424. class="line. namrc=L424.> 4242.a63 class="comment">/*3" > v2#L425. idc=L425. class="line. namrc=L425.> 4252.a63 class="comment"> * 6 > cases:3" > v2#L426. idc=L426. class="line. namrc=L426.> 4262.a63 class="comment"> */3" > v2#L427. idc=L427. class="line. namrc=L427.> 4272.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L428. idc=L428. class="line. namrc=L428.> 4282.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_spin" class="sopt">ABCDBDDA_spin2.a6) v2#L429. idc=L429. class="line. namrc=L429.> 4292.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L430. idc=L430. class="line. namrc=L430.> 43tioa63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_w.6.3" class="sopt">ABCDBDDA_w.6.32.a6) v2#L431. idc=L431. class="line. namrc=L431.> 4312.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L432. idc=L432. class="line. namrc=L432.> 4322.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_r.6.3" class="sopt">ABCDBDDA_r.6.32.a6) v2#L433. idc=L433. class="line. namrc=L433.> 4332.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L434. idc=L434. class="line. namrc=L434.> 4342.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_mutex" class="sopt">ABCDBDDA_mutex2.a6) v2#L435. idc=L435. class="line. namrc=L435.> 4352.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L436. idc=L436. class="line. namrc=L436.> 4362.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_w m" class="sopt">ABCDBDDA_w m2.a6) v2#L437. idc=L437. class="line. namrc=L437.> 4372.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L438. idc=L438. class="line. namrc=L438.> 4382.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBDDA_r m" class="sopt">ABCDBDDA_r m2.a6) v2#L439. idc=L439. class="line. namrc=L439.> 4392.a6 v2#L440. idc=L440. class="line. namrc=L440.> 44tioa6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L441. idc=L441. class="line. namrc=L441.> 4412.a6 v2#L442. idc=L442. class="line. namrc=L442.> 4422.a63 class="comment">/*3" > v2#L443. idc=L443. class="line. namrc=L443.> 4432.a63 class="comment"> * AB CD BC DA dead.6.3:3" > v2#L444. idc=L444. class="line. namrc=L444.> 4442.a63 class="comment"> */3" > v2#L445. idc=L445. class="line. namrc=L445.> 4452.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L446. idc=L446. class="line. namrc=L446.> 4462.a6 \ v2#L447. idc=L447. class="line. namrc=L447.> 4472.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=A" class="sopt">A2.a6, 3pt optio+code=B" class="sopt">B2.a6); \ v2#L448. idc=L448. class="line. namrc=L448.> 4482.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=C" class="sopt">C2.a6, 3pt optio+code=D" class="sopt">D2.a6); \ v2#L449. idc=L449. class="line. namrc=L449.> 4492.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=B" class="sopt">B2.a6, 3pt optio+code=C" class="sopt">C2.a6); \ v2#L450. idc=L450. class="line. namrc=L450.> 4502.a6 3pt optio+code=LOCK_UNLOCK_2" class="sopt">LOCK_UNLOCK_22.a6(3pt optio+code=D" class="sopt">D2.a6, 3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L451. idc=L451. class="line. namrc=L451.> 4512.a6 v2#L452. idc=L452. class="line. namrc=L452.> 4522.a63 class="comment">/*3" > v2#L453. idc=L453. class="line. namrc=L453.> 4532.a63 class="comment"> * 6 > cases:3" > v2#L454. idc=L454. class="line. namrc=L454.> 4542.a63 class="comment"> */3" > v2#L455. idc=L455. class="line. namrc=L455.> 4552.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L456. idc=L456. class="line. namrc=L456.> 4562.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBCDA_spin" class="sopt">ABCDBCDA_spin2.a6) v2#L457. idc=L457. class="line. namrc=L457.> 4572.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L458. idc=L458. class="line. namrc=L458.> 4582.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBC"sopt">ABCDBDDA_w.6.32.a6) -mutex.h. class="frpt">.clude &qu459. class="line. namrc=L459.> 4592.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L460. idc=L460. class="line. namrc=L460.> 46tioa63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBCDA_r.6.3" class="sopt">ABCDBCDA_r.6.32.a6) v2#L461. idc=L461. class="line. namrc=L461.> 4612.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L462. idc=L462. class="line. namrc=L462.> 4622.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBCDA_mutex" class="sopt">ABCDBCDA_mutex2.a6) v2#L463. idc=L463. class="line. namrc=L463.> 4632.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L464. idc=L464. class="line. namrc=L464.> 4642.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBCDA_w m" class="sopt">ABCDBCDA_w m2.a6) v2#L465. idc=L465. class="line. namrc=L465.> 4652.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L466. idc=L466. class="line. namrc=L466.> 4662.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=ABCDBCDA_r m" class="sopt">ABCDBCDA_r m2.a6) v2#L467. idc=L467. class="line. namrc=L467.> 4672.a6 v2#L468. idc=L468. class="line. namrc=L468.> 4682.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L469. idc=L469. class="line. namrc=L469.> 4692.a6 v2#L470. idc=L470. class="line. namrc=L470.> 47tioa63 class="comment">/*3" > v2#L471. idc=L471. class="line. namrc=L471.> 4712.a63 class="comment"> * Double un.6.3:3" > v2#L472. idc=L472. class="line. namrc=L472.> 4722.a63 class="comment"> */3" > v2#L473. idc=L473. class="line. namrc=L473.> 4732.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L474. idc=L474. class="line. namrc=L474.> 4742.a6 \ v2#L475. idc=L475. class="line. namrc=L475.> 4752.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L476. idc=L476. class="line. namrc=L476.> 4762.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L477. idc=L477. class="line. namrc=L477.> 4772.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L478. idc=L478. class="line. namrc=L478.> 4782.a6 v2#L479. idc=L479. class="line. namrc=L479.> 4792.a63 class="comment">/*3" > v2#L480. idc=L480. class="line. namrc=L480.> 48tioa63 class="comment"> * 6 > cases:3" > v2#L481. idc=L481. class="line. namrc=L481.> 4812.a63 class="comment"> */3" > v2#L482. idc=L482. class="line. namrc=L482.> 4822.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L483. idc=L483. class="line. namrc=L483.> 4832.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_spin" class="sopt">double_un.6.3_spin2.a6) v2#L484. idc=L484. class="line. namrc=L484.> 4842.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L485. idc=L485. class="line. namrc=L485.> 4852.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_pt">ABCDBDDA_w.6.32.double_un.6.3_pt">A2.a6) v2#L486. idc=L486. class="line. namrc=L486.> 4862.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L487. idc=L487. class="line. namrc=L487.> 4872.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_r.6.3" class="sopt">double_un.6.3_r.6.32.a6) v2#L488. idc=L488. class="line. namrc=L488.> 4882.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L489. idc=L489. class="line. namrc=L489.> 4892.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_mutex" class="sopt">double_un.6.3_mutex2.a6) v2#L490. idc=L490. class="line. namrc=L490.> 4902.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L491. idc=L491. class="line. namrc=L491.> 4912.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_p m" class="sopt">double_un.6.3_p m2.a6) v2#L492. idc=L492. class="line. namrc=L492.> 4922.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L493. idc=L493. class="line. namrc=L493.> 4932.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=double_un.6.3_r m" class="sopt">double_un.6.3_r m2.a6) v2#L494. idc=L494. class="line. namrc=L494.> 4942.a6 v2#L495. idc=L495. class="line. namrc=L495.> 4952.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L496. idc=L496. class="line. namrc=L496.> 4962.a6 v2#L497. idc=L497. class="line. namrc=L497.> 4972.a63 class="comment">/*3" > v2#L498. idc=L498. class="line. namrc=L498.> 4982.a63 class="comment"> * Bad un.6.3 order5.6:3" > v2#L499. idc=L499. class="line. namrc=L499.> 4992.a63 class="comment"> */3" > v2#L500. idc=L500. class="line. namrc=L500.> 50tioa6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L501. idc=L501. class="line. namrc=L501.> 5012.a6 \ v2#L502. idc=L502. class="line. namrc=L502.> 5022.a6 opt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L503. idc=L503. class="line. namrc=L503.> 5032.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L504. idc=L504. class="line. namrc=L504.> 5042.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > \ v2#L505. idc=L505. class="line. namrc=L505.> 5052.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); v2#L506. idc=L506. class="line. namrc=L506.> 5062.a6 v2#L507. idc=L507. class="line. namrc=L507.> 5072.a63 class="comment">/*3" > v2#L508. idc=L508. class="line. namrc=L508.> 5082.a63 class="comment"> * 6 > cases:3" > v2#L509. idc=L509. class="line. namrc=L509.> 5092.a63 class="comment"> */3" > v2#L510. idc=L510. class="line. namrc=L510.> 5102.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L511. idc=L511. class="line. namrc=L511.> 5112.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_spin" class="sopt">bad_un.6.3_order_spin2.a6) v2#L512. idc=L512. class="line. namrc=L512.> 5122.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L513. idc=L513. class="line. namrc=L513.> 5132.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_pt">ABCDBDDA_w.6.32.bad_un.6.3_order_pt">A2.a6) v2#L514. idc=L514. class="line. namrc=L514.> 5142.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L515. idc=L515. class="line. namrc=L515.> 5152.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_r.6.3" class="sopt">bad_un.6.3_order_r.6.32.a6) v2#L516. idc=L516. class="line. namrc=L516.> 5162.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L517. idc=L517. class="line. namrc=L517.> 5172.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_mutex" class="sopt">bad_un.6.3_order_mutex2.a6) v2#L518. idc=L518. class="line. namrc=L518.> 5182.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L519. idc=L519. class="line. namrc=L519.> 5192.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_p m" class="sopt">bad_un.6.3_order_p m2.a6) v2#L520. idc=L520. class="line. namrc=L520.> 5202.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L521. idc=L521. class="line. namrc=L521.> 5212.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=bad_un.6.3_order_r m" class="sopt">bad_un.6.3_order_r m2.a6) v2#L522. idc=L522. class="line. namrc=L522.> 5222.a6 v2#L523. idc=L523. class="line. namrc=L523.> 5232.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L524. idc=L524. class="line. namrc=L524.> 5242.a6 v2#L525. idc=L525. class="line. namrc=L525.> 5252.a63 class="comment">/*3" > v2#L526. idc=L526. class="line. namrc=L526.> 5262.a63 class="comment"> * initializ5.6 pt eld .6.3:3" > v2#L527. idc=L527. class="line. namrc=L527.> 5272.a63 class="comment"> */3" > v2#L528. idc=L528. class="line. namrc=L528.> 5282.a6#define/opt optio+code=E" class="sopt">E2.a6() \ v2#L529. idc=L529. class="line. namrc=L529.> 5292.a6 \ v2#L530. idc=L530. class="line. namrc=L530.> 5302.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L531. idc=L531. class="line. namrc=L531.> 5312.a6 opt optio+code=INIT" class="sopt">INIT2.a6(3pt optio+code=A" class="sopt">A2.a6); 3 class="comment">/* fail */3" > v2#L532. idc=L532. class="line. namrc=L532.> 5322.a6 v2#L533. idc=L533. class="line. namrc=L533.> 5332.a63 class="comment">/*3" > v2#L534. idc=L534. class="line. namrc=L534.> 5342.a63 class="comment"> * 6 > cases:3" > v2#L535. idc=L535. class="line. namrc=L535.> 5352.a63 class="comment"> */3" > v2#L536. idc=L536. class="line. namrc=L536.> 5362.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L537. idc=L537. class="line. namrc=L537.> 5372.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_spin" class="sopt">init_ eld_spin2.a6) v2#L538. idc=L538. class="line. namrc=L538.> 5382.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L539. idc=L539. class="line. namrc=L539.> 5392.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_pt">ABCDBDDA_w.6.32.init_ eld_pt">A2.a6) v2#L540. idc=L540. class="line. namrc=L540.> 5402.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L541. idc=L541. class="line. namrc=L541.> 5412.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_r.6.3" class="sopt">init_ eld_r.6.32.a6) v2#L542. idc=L542. class="line. namrc=L542.> 5422.a6#include " -mutex.h. class="frpt">.6.35.6" > -mutex.h2.a6" v2#L543. idc=L543. class="line. namrc=L543.> 5432.a63pt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_mutex" class="sopt">init_ eld_mutex2.a6) v2#L544. idc=L544. class="line. namrc=L544.> 5442.a6#include " -wsem.h. class="frpt">.6.35.6" > -wsem.h2.a6" v2#L545. idc=L545. class="line. namrc=L545.> 5452.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_p m" class="sopt">init_ eld_p m2.a6) v2#L546. idc=L546. class="line. namrc=L546.> 5462.a6#include " -rsem.h. class="frpt">.6.35.6" > -rsem.h2.a6" v2#L547. idc=L547. class="line. namrc=L547.> 5472.a6opt optio+code=GENERATE_TESTCASE" class="sopt">GENERATE_TESTCASE2.a6(3pt optio+code=init_ eld_r m" class="sopt">init_ eld_r m2.a6) v2#L548. idc=L548. class="line. namrc=L548.> 5482.a6 v2#L549. idc=L549. class="line. namrc=L549.> 5492.a6#undef/opt optio+code=E" class="sopt">E2.a6 v2#L550. idc=L550. class="line. namrc=L550.> 5502.a6 v2#L551. idc=L551. class="line. namrc=L551.> 5512.a63 class="comment">/*3" > v2#L552. idc=L552. class="line. namrc=L552.> 5522.a63 class="comment"> * .6.35.6 irq-safe .6.3 with irqs enabled:3" > v2#L553. idc=L553. class="line. namrc=L553.> 5532.a63 class="comment"> */3" > v2#L554. idc=L554. class="line. namrc=L554.> 5542.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L555. idc=L555. class="line. namrc=L555.> 5552.a6 \ v2#L556. idc=L556. class="line. namrc=L556.> 5562.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L557. idc=L557. class="line. namrc=L557.> 5572.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L558. idc=L558. class="line. namrc=L558.> 5582.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L559. idc=L559. class="line. namrc=L559.> 5592.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L560. idc=L560. class="line. namrc=L560.> 5602.a6 v2#L561. idc=L561. class="line. namrc=L561.> 5612.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L562. idc=L562. class="line. namrc=L562.> 5622.a6 \ v2#L563. idc=L563. class="line. namrc=L563.> 5632.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L564. idc=L564. class="line. namrc=L564.> 5642.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); v2#L565. idc=L565. class="line. namrc=L565.> 5652.a6 v2#L566. idc=L566. class="line. namrc=L566.> 5662.a63 class="comment">/*3" > v2#L567. idc=L567. class="line. namrc=L567.> 5672.a63 class="comment"> * Generate 24 > cases:3" > v2#L568. idc=L568. class="line. namrc=L568.> 5682.a63 class="comment"> */3" > v2#L569. idc=L569. class="line. namrc=L569.> 5692.a6#include " -spin-hardirq.h. class="frpt">.6.35.6" > -spin-hardirq.h2.a6" v2#L570. idc=L570. class="line. namrc=L570.> 57tioa63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_hard_spin" class="sopt">irqsafe1_hard_spin2.a6) v2#L571. idc=L571. class="line. namrc=L571.> 5712.a6 v2#L572. idc=L572. class="line. namrc=L572.> 5722.a6#include " -r.6.3-hardirq.h. class="frpt">.6.35.6" > -r.6.3-hardirq.h2.a6" v2#L573. idc=L573. class="line. namrc=L573.> 5732.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_hard_r.6.3" class="sopt">irqsafe1_hard_r.6.32.a6) v2#L574. idc=L574. class="line. namrc=L574.> 5742.a6 v2#L575. idc=L575. class="line. namrc=L575.> 5752.a6#include " -w.6.3-hardirq.h. class="frpt">.6.35.6" > -w.6.3-hardirq.h2.a6" v2#L576. idc=L576. class="line. namrc=L576.> 5762.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_hard_pt">ABCDBDDA_w.6.32.irqsafe1_hard_pt">A2.a6) v2#L577. idc=L577. class="line. namrc=L577.> 5772.a6 v2#L578. idc=L578. class="line. namrc=L578.> 5782.a6#include " -spin-softirq.h. class="frpt">.6.35.6" > -spin-softirq.h2.a6" v2#L579. idc=L579. class="line. namrc=L579.> 5792.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_soft_spin" class="sopt">irqsafe1_soft_spin2.a6) v2#L580. idc=L580. class="line. namrc=L580.> 5802.a6 v2#L581. idc=L581. class="line. namrc=L581.> 5812.a6#include " -r.6.3-softirq.h. class="frpt">.6.35.6" > -r.6.3-softirq.h2.a6" v2#L582. idc=L582. class="line. namrc=L582.> 5822.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_soft_r.6.3" class="sopt">irqsafe1_soft_r.6.32.a6) v2#L583. idc=L583. class="line. namrc=L583.> 5832.a6 v2#L584. idc=L584. class="line. namrc=L584.> 5842.a6#include " -w.6.3-softirq.h. class="frpt">.6.35.6" > -w.6.3-softirq.h2.a6" v2#L585. idc=L585. class="line. namrc=L585.> 5852.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe1_soft_pt">ABCDBDDA_w.6.32.irqsafe1_soft_pt">A2.a6) v2#L586. idc=L586. class="line. namrc=L586.> 5862.a6 v2#L587. idc=L587. class="line. namrc=L587.> 5872.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L588. idc=L588. class="line. namrc=L588.> 5882.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L589. idc=L589. class="line. namrc=L589.> 5892.a6 v2#L590. idc=L590. class="line. namrc=L590.> 59tioa63 class="comment">/*3" > v2#L591. idc=L591. class="line. namrc=L591.> 5912.a63 class="comment"> * Enabl5.6 hardirqs with a softirq-safe .6.3 eld:3" > v2#L592. idc=L592. class="line. namrc=L592.> 5922.a63 class="comment"> */3" > v2#L593. idc=L593. class="line. namrc=L593.> 5932.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L594. idc=L594. class="line. namrc=L594.> 5942.a6 \ v2#L595. idc=L595. class="line. namrc=L595.> 5952.a6 3pt optio+code=SOFTIRQ_ENTER" class="sopt">SOFTIRQ_ENTER2.a6(); \ v2#L596. idc=L596. class="line. namrc=L596.> 5962.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L597. idc=L597. class="line. namrc=L597.> 5972.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L598. idc=L598. class="line. namrc=L598.> 5982.a6 3pt optio+code=SOFTIRQ_EXIT" class="sopt">SOFTIRQ_EXIT2.a6(); v2#L599. idc=L599. class="line. namrc=L599.> 5992.a6 v2#L600. idc=L600. class="line. namrc=L600.> 60tioa6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L601. idc=L601. class="line. namrc=L601.> 6012.a6 \ v2#L602. idc=L602. class="line. namrc=L602.> 6022.a6 opt optio+code=HARDIRQ_DISABLE" class="sopt">HARDIRQ_DISABLE2.a6(); \ v2#L603. idc=L603. class="line. namrc=L603.> 6032.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L604. idc=L604. class="line. namrc=L604.> 6042.a6 3pt optio+code=HARDIRQ_ENABLE" class="sopt">HARDIRQ_ENABLE2.a6(); \ v2#L605. idc=L605. class="line. namrc=L605.> 6052.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); v2#L606. idc=L606. class="line. namrc=L606.> 6062.a6 v2#L607. idc=L607. class="line. namrc=L607.> 6072.a63 class="comment">/*3" > v2#L608. idc=L608. class="line. namrc=L608.> 6082.a63 class="comment"> * Generate 12 > cases:3" > v2#L609. idc=L609. class="line. namrc=L609.> 6092.a63 class="comment"> */3" > v2#L610. idc=L610. class="line. namrc=L610.> 6102.a6#include " -spin.h. class="frpt">.6.35.6" > -spin.h2.a6" v2#L611. idc=L611. class="line. namrc=L611.> 6112.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2A_spin" class="sopt">irqsafe2A_spin2.a6) v2#L612. idc=L612. class="line. namrc=L612.> 6122.a6 v2#L613. idc=L613. class="line. namrc=L613.> 6132.a6#include " -w.6.3.h. class="frpt">.6.35.6" > -w.6.3.h2.a6" v2#L614. idc=L614. class="line. namrc=L614.> 6142.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2A_pt">ABCDBDDA_w.6.32.irqsafe2tio="v2.6.35.6" > -mutex.h. class="frpt">615. idc=L615. class="line. namrc=L615.> 6152.a6 v2#L616. idc=L616. class="line. namrc=L616.> 6162.a6#include " -r.6.3.h. class="frpt">.6.35.6" > -r.6.3.h2.a6" v2#L617. idc=L617. class="line. namrc=L617.> 6172.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2A_r.6.3" class="sopt">irqsafe2A_r.6.32.a6) v2#L618. idc=L618. class="line. namrc=L618.> 6182.a6 v2#L619. idc=L619. class="line. namrc=L619.> 6192.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L620. idc=L620. class="line. namrc=L620.> 62tioa6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L621. idc=L621. class="line. namrc=L621.> 6212.a6 v2#L622. idc=L622. class="line. namrc=L622.> 6222.a63 class="comment">/*3" > v2#L623. idc=L623. class="line. namrc=L623.> 6232.a63 class="comment"> * Enabl5.6 irqs with a irq-safe .6.3 eld:3" > v2#L624. idc=L624. class="line. namrc=L624.> 6242.a63 class="comment"> */3" > v2#L625. idc=L625. class="line. namrc=L625.> 6252.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L626. idc=L626. class="line. namrc=L626.> 6262.a6 \ v2#L627. idc=L627. class="line. namrc=L627.> 6272.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L628. idc=L628. class="line. namrc=L628.> 6282.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L629. idc=L629. class="line. namrc=L629.> 6292.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L630. idc=L630. class="line. namrc=L630.> 6302.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L631. idc=L631. class="line. namrc=L631.> 6312.a6 v2#L632. idc=L632. class="line. namrc=L632.> 6322.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L633. idc=L633. class="line. namrc=L633.> 6332.a6 \ v2#L634. idc=L634. class="line. namrc=L634.> 6342.a6 3pt optio+code=IRQ_DISABLE" class="sopt">IRQ_DISABLE2.a6(); \ v2#L635. idc=L635. class="line. namrc=L635.> 6352.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L636. idc=L636. class="line. namrc=L636.> 6362.a6 3pt optio+code=IRQ_ENABLE" class="sopt">IRQ_ENABLE2.a6(); \ v2#L637. idc=L637. class="line. namrc=L637.> 6372.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); v2#L638. idc=L638. class="line. namrc=L638.> 6382.a6 v2#L639. idc=L639. class="line. namrc=L639.> 6392.a63 class="comment">/*3" > v2#L640. idc=L640. class="line. namrc=L640.> 64tioa63 class="comment"> * Generate 24 > cases:3" > v2#L641. idc=L641. class="line. namrc=L641.> 6412.a63 class="comment"> */3" > v2#L642. idc=L642. class="line. namrc=L642.> 6422.a6#include " -spin-hardirq.h. class="frpt">.6.35.6" > -spin-hardirq.h2.a6" v2#L643. idc=L643. class="line. namrc=L643.> 6432.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_hard_spin" class="sopt">irqsafe2B_hard_spin2.a6) v2#L644. idc=L644. class="line. namrc=L644.> 6442.a6 v2#L645. idc=L645. class="line. namrc=L645.> 6452.a6#include " -r.6.3-hardirq.h. class="frpt">.6.35.6" > -r.6.3-hardirq.h2.a6" v2#L646. idc=L646. class="line. namrc=L646.> 6462.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_hard_r.6.3" class="sopt">irqsafe2B_hard_r.6.32.a6) v2#L647. idc=L647. class="line. namrc=L647.> 6472.a6 v2#L648. idc=L648. class="line. namrc=L648.> 6482.a6#include " -w.6.3-hardirq.h. class="frpt">.6.35.6" > -w.6.3-hardirq.h2.a6" v2#L649. idc=L649. class="line. namrc=L649.> 6492.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_hard_pt">ABCDBDDA_w.6.32.irqsafe2B_hard_pt">A2.a6) v2#L650. idc=L650. class="line. namrc=L650.> 6502.a6 v2#L651. idc=L651. class="line. namrc=L651.> 6512.a6#include " -spin-softirq.h. class="frpt">.6.35.6" > -spin-softirq.h2.a6" v2#L652. idc=L652. class="line. namrc=L652.> 6522.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_soft_spin" class="sopt">irqsafe2B_soft_spin2.a6) v2#L653. idc=L653. class="line. namrc=L653.> 6532.a6 v2#L654. idc=L654. class="line. namrc=L654.> 6542.a6#include " -r.6.3-softirq.h. class="frpt">.6.35.6" > -r.6.3-softirq.h2.a6" v2#L655. idc=L655. class="line. namrc=L655.> 6552.a6opt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_soft_r.6.3" class="sopt">irqsafe2B_soft_r.6.32.a6) v2#L656. idc=L656. class="line. namrc=L656.> 6562.a6 v2#L657. idc=L657. class="line. namrc=L657.> 6572.a6#include " -w.6.3-softirq.h. class="frpt">.6.35.6" > -w.6.3-softirq.h2.a6" v2#L658. idc=L658. class="line. namrc=L658.> 6582.a63pt optio+code=GENERATE_PERMUTATIONS_2_EVENTS" class="sopt">GENERATE_PERMUTATIONS_2_EVENTS2.a6(3pt optio+code=irqsafe2B_soft_pt">ABCDBDDA_w.6.32.irqsafe2B_soft_pt">A2.a6) v2#L659. idc=L659. class="line. namrc=L659.> 6592.a6 v2#L660. idc=L660. class="line. namrc=L660.> 66tioa6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L661. idc=L661. class="line. namrc=L661.> 6612.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L662. idc=L662. class="line. namrc=L662.> 6622.a6 v2#L663. idc=L663. class="line. namrc=L663.> 6632.a63 class="comment">/*3" > v2#L664. idc=L664. class="line. namrc=L664.> 6642.a63 class="comment"> * Acquir5.6 a irq-unsafe .6.3 while holdi.6 irq-safe-.6.3:3" > v2#L665. idc=L665. class="line. namrc=L665.> 6652.a63 class="comment"> */3" > v2#L666. idc=L666. class="line. namrc=L666.> 6662.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L667. idc=L667. class="line. namrc=L667.> 6672.a6 \ v2#L668. idc=L668. class="line. namrc=L668.> 6682.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L669. idc=L669. class="line. namrc=L669.> 6692.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L670. idc=L670. class="line. namrc=L670.> 6702.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L671. idc=L671. class="line. namrc=L671.> 6712.a6 opt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L672. idc=L672. class="line. namrc=L672.> 6722.a6 v2#L673. idc=L673. class="line. namrc=L673.> 6732.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L674. idc=L674. class="line. namrc=L674.> 6742.a6 \ v2#L675. idc=L675. class="line. namrc=L675.> 6752.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L676. idc=L676. class="line. namrc=L676.> 6762.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); v2#L677. idc=L677. class="line. namrc=L677.> 6772.a6 v2#L678. idc=L678. class="line. namrc=L678.> 6782.a6#define/opt optio+code=E3" class="sopt">E32.a6() \ v2#L679. idc=L679. class="line. namrc=L679.> 6792.a6 \ v2#L680. idc=L680. class="line. namrc=L680.> 6802.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L681. idc=L681. class="line. namrc=L681.> 6812.a6 opt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L682. idc=L682. class="line. namrc=L682.> 6822.a6 opt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L683. idc=L683. class="line. namrc=L683.> 6832.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L684. idc=L684. class="line. namrc=L684.> 6842.a6 v2#L685. idc=L685. class="line. namrc=L685.> 6852.a63 class="comment">/*3" > v2#L686. idc=L686. class="line. namrc=L686.> 6862.a63 class="comment"> * Generate 36 > cases:3" > v2#L687. idc=L687. class="line. namrc=L687.> 6872.a63 class="comment"> */3" > v2#L688. idc=L688. class="line. namrc=L688.> 6882.a6#include " -spin-hardirq.h. class="frpt">.6.35.6" > -spin-hardirq.h2.a6" v2#L689. idc=L689. class="line. namrc=L689.> 6892.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_hard_spin" class="sopt">irqsafe3_hard_spin2.a6) v2#L690. idc=L690. class="line. namrc=L690.> 6902.a6 v2#L691. idc=L691. class="line. namrc=L691.> 6912.a6#include " -r.6.3-hardirq.h. class="frpt">.6.35.6" > -r.6.3-hardirq.h2.a6" v2#L692. idc=L692. class="line. namrc=L692.> 6922.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_hard_r.6.3" class="sopt">irqsafe3_hard_r.6.32.a6) v2#L693. idc=L693. class="line. namrc=L693.> 6932.a6 v2#L694. idc=L694. class="line. namrc=L694.> 6942.a6#include " -w.6.3-hardirq.h. class="frpt">.6.35.6" > -w.6.3-hardirq.h2.a6" v2#L695. idc=L695. class="line. namrc=L695.> 6952.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_hard_pt">ABCDBDDA_w.6.32.irqsafe3_hard_pt">A2.a6) v2#L696. idc=L696. class="line. namrc=L696.> 6962.a6 v2#L697. idc=L697. class="line. namrc=L697.> 6972.a6#include " -spin-softirq.h. class="frpt">.6.35.6" > -spin-softirq.h2.a6" v2#L698. idc=L698. class="line. namrc=L698.> 6982.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_soft_spin" class="sopt">irqsafe3_soft_spin2.a6) v2#L699. idc=L699. class="line. namrc=L699.> 6992.a6 v2#L700. idc=L700. class="line. namrc=L700.> 7002.a6#include " -r.6.3-softirq.h. class="frpt">.6.35.6" > -r.6.3-softirq.h2.a6" v2#L701. idc=L701. class="line. namrc=L701.> 7012.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_soft_r.6.3" class="sopt">irqsafe3_soft_r.6.32.a6) v2#L702. idc=L702. class="line. namrc=L702.> 7022.a6 v2#L703. idc=L703. class="line. namrc=L703.> 7032.a6#include " -w.6.3-softirq.h. class="frpt">.6.35.6" > -w.6.3-softirq.h2.a6" v2#L704. idc=L704. class="line. namrc=L704.> 7042.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe3_soft_pt">ABCDBDDA_w.6.32.irqsafe3_soft_pt">A2.a6) v2#L705. idc=L705. class="line. namrc=L705.> 7052.a6 v2#L706. idc=L706. class="line. namrc=L706.> 7062.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L707. idc=L707. class="line. namrc=L707.> 7072.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L708. idc=L708. class="line. namrc=L708.> 7082.a6#undef/opt optio+code=E3" class="sopt">E32.a6 v2#L709. idc=L709. class="line. namrc=L709.> 7092.a6 v2#L710. idc=L710. class="line. namrc=L710.> 71tioa63 class="comment">/*3" > v2#L711. idc=L711. class="line. namrc=L711.> 7112.a63 class="comment"> * If a .6.3 turns into softirq-safe, but earlier it took3" > v2#L712. idc=L712. class="line. namrc=L712.> 7122.a63 class="comment"> * a softirq-unsafe .6.3:3" > v2#L713. idc=L713. class="line. namrc=L713.> 7132.a63 class="comment"> */3" > v2#L714. idc=L714. class="line. namrc=L714.> 7142.a6 v2#L715. idc=L715. class="line. namrc=L715.> 7152.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L716. idc=L716. class="line. namrc=L716.> 7162.a6 3pt optio+code=IRQ_DISABLE" class="sopt">IRQ_DISABLE2.a6(); \ v2#L717. idc=L717. class="line. namrc=L717.> 7172.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L718. idc=L718. class="line. namrc=L718.> 7182.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L719. idc=L719. class="line. namrc=L719.> 7192.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L720. idc=L720. class="line. namrc=L720.> 7202.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L721. idc=L721. class="line. namrc=L721.> 7212.a6 opt optio+code=IRQ_ENABLE" class="sopt">IRQ_ENABLE2.a6(); v2#L722. idc=L722. class="line. namrc=L722.> 7222.a6 v2#L723. idc=L723. class="line. namrc=L723.> 7232.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L724. idc=L724. class="line. namrc=L724.> 7242.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L725. idc=L725. class="line. namrc=L725.> 7252.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); v2#L726. idc=L726. class="line. namrc=L726.> 7262.a6 v2#L727. idc=L727. class="line. namrc=L727.> 7272.a6#define/opt optio+code=E3" class="sopt">E32.a6() \ v2#L728. idc=L728. class="line. namrc=L728.> 7282.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L729. idc=L729. class="line. namrc=L729.> 7292.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L730. idc=L730. class="line. namrc=L730.> 7302.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L731. idc=L731. class="line. namrc=L731.> 7312.a6 opt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L732. idc=L732. class="line. namrc=L732.> 7322.a6 v2#L733. idc=L733. class="line. namrc=L733.> 7332.a63 class="comment">/*3" > v2#L734. idc=L734. class="line. namrc=L734.> 7342.a63 class="comment"> * Generate 36 > cases:3" > v2#L735. idc=L735. class="line. namrc=L735.> 7352.a63 class="comment"> */3" > v2#L736. idc=L736. class="line. namrc=L736.> 7362.a6#include " -spin-hardirq.h. class="frpt">.6.35.6" > -spin-hardirq.h2.a6" v2#L737. idc=L737. class="line. namrc=L737.> 7372.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_hard_spin" class="sopt">irqsafe4_hard_spin2.a6) v2#L738. idc=L738. class="line. namrc=L738.> 7382.a6 v2#L739. idc=L739. class="line. namrc=L739.> 7392.a6#include " -r.6.3-hardirq.h. class="frpt">.6.35.6" > -r.6.3-hardirq.h2.a6" v2#L740. idc=L740. class="line. namrc=L740.> 74tioa63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_hard_r.6.3" class="sopt">irqsafe4_hard_r.6.32.a6) v2#L741. idc=L741. class="line. namrc=L741.> 7412.a6 v2#L742. idc=L742. class="line. namrc=L742.> 7422.a6#include " -w.6.3-hardirq.h. class="frpt">.6.35.6" > -w.6.3-hardirq.h2.a6" v2#L743. idc=L743. class="line. namrc=L743.> 7432.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_hard_pt">ABCDBDDA_w.6.32.irqsafe4_hard_pt">A2.a6) v2#L744. idc=L744. class="line. namrc=L744.> 7442.a6 v2#L745. idc=L745. class="line. namrc=L745.> 7452.a6#include " -spin-softirq.h. class="frpt">.6.35.6" > -spin-softirq.h2.a6" v2#L746. idc=L746. class="line. namrc=L746.> 7462.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_soft_spin" class="sopt">irqsafe4_soft_spin2.a6) v2#L747. idc=L747. class="line. namrc=L747.> 7472.a6 v2#L748. idc=L748. class="line. namrc=L748.> 7482.a6#include " -r.6.3-softirq.h. class="frpt">.6.35.6" > -r.6.3-softirq.h2.a6" v2#L749. idc=L749. class="line. namrc=L749.> 7492.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_soft_r.6.3" class="sopt">irqsafe4_soft_r.6.32.a6) v2#L750. idc=L750. class="line. namrc=L750.> 7502.a6 v2#L751. idc=L751. class="line. namrc=L751.> 7512.a6#include " -w.6.3-softirq.h. class="frpt">.6.35.6" > -w.6.3-softirq.h2.a6" v2#L752. idc=L752. class="line. namrc=L752.> 7522.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irqsafe4_soft_pt">ABCDBDDA_w.6.32.irqsafe4_soft_pt">A2.a6) v2#L753. idc=L753. class="line. namrc=L753.> 7532.a6 v2#L754. idc=L754. class="line. namrc=L754.> 7542.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L755. idc=L755. class="line. namrc=L755.> 7552.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L756. idc=L756. class="line. namrc=L756.> 7562.a6#undef/opt optio+code=E3" class="sopt">E32.a6 v2#L757. idc=L757. class="line. namrc=L757.> 7572.a6 v2#L758. idc=L758. class="line. namrc=L758.> 7582.a63 class="comment">/*3" > v2#L759. idc=L759. class="line. namrc=L759.> 7592.a63 class="comment"> * read-.6.3 / write-.6.3 irq inversion.3" > v2#L760. idc=L760. class="line. namrc=L760.> 76tioa63 class="comment"> *3" > v2#L761. idc=L761. class="line. namrc=L761.> 7612.a63 class="comment"> * Dead.6.3 scenario:3" > v2#L762. idc=L762. class="line. namrc=L762.> 7622.a63 class="comment"> *3" > v2#L763. idc=L763. class="line. namrc=L763.> 7632.a63 class="comment"> * CPU#1 is at #1, i.e. it has write-.6.3ed A, but has not3" > v2#L764. idc=L764. class="line. namrc=L764.> 7642.a63 class="comment"> * taken B yet.3" > v2#L765. idc=L765. class="line. namrc=L765.> 7652.a63 class="comment"> *3" > v2#L766. idc=L766. class="line. namrc=L766.> 7662.a63 class="comment"> * CPU#2 is at #2, i.e. it has .6.3ed B.3" > v2#L767. idc=L767. class="line. namrc=L767.> 7672.a63 class="comment"> *3" > v2#L768. idc=L768. class="line. namrc=L768.> 7682.a63 class="comment"> * Hardirq hits CPU#2 at point #2 and is try5.6 to read-.6.3 A.3" > v2#L769. idc=L769. class="line. namrc=L769.> 7692.a63 class="comment"> *3" > v2#L770. idc=L770. class="line. namrc=L770.> 77tioa63 class="comment"> * The dead.6.3 occurs because CPU#1 will spin on B, and CPU#23" > v2#L771. idc=L771. class="line. namrc=L771.> 7712.a63 class="comment"> * will spin on A.3" > v2#L772. idc=L772. class="line. namrc=L772.> 7722.a63 class="comment"> */3" > v2#L773. idc=L773. class="line. namrc=L773.> 7732.a6 v2#L774. idc=L774. class="line. namrc=L774.> 7742.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L775. idc=L775. class="line. namrc=L775.> 7752.a6 \ v2#L776. idc=L776. class="line. namrc=L776.> 7762.a6 3pt optio+code=IRQ_DISABLE" class="sopt">IRQ_DISABLE2.a6(); \ v2#L777. idc=L777. class="line. namrc=L777.> 7772.a6 3pt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L778. idc=L778. class="line. namrc=L778.> 7782.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L779. idc=L779. class="line. namrc=L779.> 7792.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L780. idc=L780. class="line. namrc=L780.> 7802.a6 3pt optio+code=WU" class="sopt">WU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L781. idc=L781. class="line. namrc=L781.> 7812.a6 opt optio+code=IRQ_ENABLE" class="sopt">IRQ_ENABLE2.a6(); v2#L782. idc=L782. class="line. namrc=L782.> 7822.a6 v2#L783. idc=L783. class="line. namrc=L783.> 7832.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L784. idc=L784. class="line. namrc=L784.> 7842.a6 \ v2#L785. idc=L785. class="line. namrc=L785.> 7852.a6 3pt optio+code=LOCK" class="sopt">LOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L786. idc=L786. class="line. namrc=L786.> 7862.a6 3pt optio+code=UNLOCK" class="sopt">UNLOCK2.a6(3pt optio+code=B" class="sopt">B2.a6); v2#L787. idc=L787. class="line. namrc=L787.> 7872.a6 v2#L788. idc=L788. class="line. namrc=L788.> 7882.a6#define/opt optio+code=E3" class="sopt">E32.a6() \ v2#L789. idc=L789. class="line. namrc=L789.> 7892.a6 \ v2#L790. idc=L790. class="line. namrc=L790.> 7902.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L791. idc=L791. class="line. namrc=L791.> 7912.a6 opt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L792. idc=L792. class="line. namrc=L792.> 7922.a6 opt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L793. idc=L793. class="line. namrc=L793.> 7932.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L794. idc=L794. class="line. namrc=L794.> 7942.a6 v2#L795. idc=L795. class="line. namrc=L795.> 7952.a63 class="comment">/*3" > v2#L796. idc=L796. class="line. namrc=L796.> 7962.a63 class="comment"> * Generate 36 > cases:3" > v2#L797. idc=L797. class="line. namrc=L797.> 7972.a63 class="comment"> */3" > v2#L798. idc=L798. class="line. namrc=L798.> 7982.a6#include " -spin-hardirq.h. class="frpt">.6.35.6" > -spin-hardirq.h2.a6" v2#L799. idc=L799. class="line. namrc=L799.> 7992.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_hard_spin" class="sopt">irq_inversion_hard_spin2.a6) v2#L800. idc=L800. class="line. namrc=L800.> 8002.a6 v2#L801. idc=L801. class="line. namrc=L801.> 8012.a6#include " -r.6.3-hardirq.h. class="frpt">.6.35.6" > -r.6.3-hardirq.h2.a6" v2#L802. idc=L802. class="line. namrc=L802.> 8022.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_hard_r.6.3" class="sopt">irq_inversion_hard_r.6.32.a6) v2#L803. idc=L803. class="line. namrc=L803.> 8032.a6 v2#L804. idc=L804. class="line. namrc=L804.> 8042.a6#include " -w.6.3-hardirq.h. class="frpt">.6.35.6" > -w.6.3-hardirq.h2.a6" v2#L805. idc=L805. class="line. namrc=L805.> 8052.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_hard_pt">ABCDBDDA_w.6.32.irq_inversion_hard_pt">A2.a6) v2#L806. idc=L806. class="line. namrc=L806.> 8062.a6 v2#L807. idc=L807. class="line. namrc=L807.> 8072.a6#include " -spin-softirq.h. class="frpt">.6.35.6" > -spin-softirq.h2.a6" v2#L808. idc=L808. class="line. namrc=L808.> 8082.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_soft_spin" class="sopt">irq_inversion_soft_spin2.a6) v2#L809. idc=L809. class="line. namrc=L809.> 8092.a6 v2#L810. idc=L810. class="line. namrc=L810.> 8102.a6#include " -r.6.3-softirq.h. class="frpt">.6.35.6" > -r.6.3-softirq.h2.a6" v2#L811. idc=L811. class="line. namrc=L811.> 8112.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_soft_r.6.3" class="sopt">irq_inversion_soft_r.6.32.a6) v2#L812. idc=L812. class="line. namrc=L812.> 8122.a6 v2#L813. idc=L813. class="line. namrc=L813.> 8132.a6#include " -w.6.3-softirq.h. class="frpt">.6.35.6" > -w.6.3-softirq.h2.a6" v2#L814. idc=L814. class="line. namrc=L814.> 8142.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_inversion_soft_pt">ABCDBDDA_w.6.32.irq_inversion_soft_pt">A2.a6) v2#L815. idc=L815. class="line. namrc=L815.> 8152.a6 v2#L816. idc=L816. class="line. namrc=L816.> 8162.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L817. idc=L817. class="line. namrc=L817.> 8172.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L818. idc=L818. class="line. namrc=L818.> 8182.a6#undef/opt optio+code=E3" class="sopt">E32.a6 v2#L819. idc=L819. class="line. namrc=L819.> 8192.a6 v2#L820. idc=L820. class="line. namrc=L820.> 82tioa63 class="comment">/*3" > v2#L821. idc=L821. class="line. namrc=L821.> 8212.a63 class="comment"> * read-.6.3 / write-.6.3 recursion that is actually safe.3" > v2#L822. idc=L822. class="line. namrc=L822.> 8222.a63 class="comment"> */3" > v2#L823. idc=L823. class="line. namrc=L823.> 8232.a6 v2#L824. idc=L824. class="line. namrc=L824.> 8242.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L825. idc=L825. class="line. namrc=L825.> 8252.a6 \ v2#L826. idc=L826. class="line. namrc=L826.> 8262.a6 3pt optio+code=IRQ_DISABLE" class="sopt">IRQ_DISABLE2.a6(); \ v2#L827. idc=L827. class="line. namrc=L827.> 8272.a6 3pt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L828. idc=L828. class="line. namrc=L828.> 8282.a6 3pt optio+code=WU" class="sopt">WU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L829. idc=L829. class="line. namrc=L829.> 8292.a6 3pt optio+code=IRQ_ENABLE" class="sopt">IRQ_ENABLE2.a6(); v2#L830. idc=L830. class="line. namrc=L830.> 8302.a6 v2#L831. idc=L831. class="line. namrc=L831.> 8312.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ v2#L832. idc=L832. class="line. namrc=L832.> 8322.a6 \ v2#L833. idc=L833. class="line. namrc=L833.> 8332.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L834. idc=L834. class="line. namrc=L834.> 8342.a6 3pt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L835. idc=L835. class="line. namrc=L835.> 8352.a6 v2#L836. idc=L836. class="line. namrc=L836.> 8362.a6#define/opt optio+code=E3" class="sopt">E32.a6() \ v2#L837. idc=L837. class="line. namrc=L837.> 8372.a6 \ v2#L838. idc=L838. class="line. namrc=L838.> 8382.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ v2#L839. idc=L839. class="line. namrc=L839.> 8392.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L840. idc=L840. class="line. namrc=L840.> 8402.a6 3pt optio+code=L" class="sopt">L2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L841. idc=L841. class="line. namrc=L841.> 8412.a6 opt optio+code=U" class="sopt">U2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L842. idc=L842. class="line. namrc=L842.> 8422.a6 opt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L843. idc=L843. class="line. namrc=L843.> 8432.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); v2#L844. idc=L844. class="line. namrc=L844.> 8442.a6 v2#L845. idc=L845. class="line. namrc=L845.> 8452.a63 class="comment">/*3" > v2#L846. idc=L846. class="line. namrc=L846.> 8462.a63 class="comment"> * Generate 12 > cases:3" > v2#L847. idc=L847. class="line. namrc=L847.> 8472.a63 class="comment"> */3" > v2#L848. idc=L848. class="line. namrc=L848.> 8482.a6#include " -hardirq.h. class="frpt">.6.35.6" > -hardirq.h2.a6" v2#L849. idc=L849. class="line. namrc=L849.> 8492.a6opt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_read_recursion_hardBCDBDDA_w.6.32.irq_read_recursion_hard2.a6) v2#L850. idc=L850. class="line. namrc=L850.> 8502.a6 v2#L851. idc=L851. class="line. namrc=L851.> 8512.a6#include " -softirq.h. class="frpt">.6.35.6" > -softirq.h2.a6" v2#L852. idc=L852. class="line. namrc=L852.> 8522.a63pt optio+code=GENERATE_PERMUTATIONS_3_EVENTS" class="sopt">GENERATE_PERMUTATIONS_3_EVENTS2.a6(3pt optio+code=irq_read_recursion_softBCDBDDA_w.6.32.irq_read_recursion_soft2.a6) v2#L853. idc=L853. class="line. namrc=L853.> 8532.a6 v2#L854. idc=L854. class="line. namrc=L854.> 8542.a6#undef/opt optio+code=E1" class="sopt">E12.a6 v2#L855. idc=L855. class="line. namrc=L855.> 8552.a6#undef/opt optio+code=E2" class="sopt">E22.a6 v2#L856. idc=L856. class="line. namrc=L856.> 8562.a6#undef/opt optio+code=E3" class="sopt">E32.a6 v2#L857. idc=L857. class="line. namrc=L857.> 8572.a6 v2#L858. idc=L858. class="line. namrc=L858.> 8582.a63 class="comment">/*3" > v2#L859. idc=L859. class="line. namrc=L859.> 8592.a63 class="comment"> * read-.6.3 / write-.6.3 recursion that is unsafe.3" > v2#L860. idc=L860. class="line. namrc=L860.> 86tioa63 class="comment"> */3" > v2#L861. idc=L861. class="line. namrc=L861.> 8612.a6 v2#L862. idc=L862. class="line. namrc=L862.> 8622.a6#define/opt optio+code=E1" class="sopt">E12.a6() \ v2#L863. idc=L863. class="line. namrc=L863.> 8632.a6 \ v2#L864. idc=L864. class="line. namrc=L864.> 8642.a6 3pt optio+code=IRQ_DISABLE" class="sopt">IRQ_DISABLE2.a6(); \ v2#L865. idc=L865. class="line. namrc=L865.> 8652.a6 3pt optio+code=L" class="sopt">L2.a6(3pt optio+code=B" class="sopt">B2.a6); \ v2#L866. idc=L866. class="line. namrc=L866.> 8662.a6 3pt optio+code=WL" class="sopt">WL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L867. idc=L867. class="line. namrc=L867.> 8672.a6 3pt optio+code=WU" class="sopt">WU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ v2#L868. idc=L8c=L851. class="line. nama3pt o44,4,4, opt optio+code=U" class="sopt">U2.a6(3pt optio+code=B" class="sopt">B2.a6); \ 6692.a6 3pt optio+code=IRQ_ENABLE" class="sopt">IRQ_ENABLE2.a6(); 8502.a6 8312.a6#define/opt optio+code=E2" class="sopt">E22.a6() \ 8322.a6 \ 8332.a6 3pt optio+code=RL" class="sopt">RL2.a6(3pt optio+code=A" class="sopt">A2.a6); \ 8342.a6 3pt optio+code=RU" class="sopt">RU2.a6(3pt optio+code=A" class="sopt">A2.a6); \ 8352.a6 8362.a6#define/opt optio+code=E3" class="sopt">E32.a6() \ 8372.a6 \ 7782.a6 3pt optio+code=IRQ_ENTER" class="sopt">IRQ_ENTER2.a6(); \ 7792.a6 3pt optio+code=L" class="sopt">L2.a6(3pt optio+code=B" class="sopt">B2.a6); \ 7802.a6 opt optio+code=U" class="sopt">U2.a6(3pt optio+code=B" class="sopt">B2.a6); \ 7812.a6 3pt optio+code=IRQ_EXIT" class="sopt">IRQ_EXIT2.a6(); 7822.a6 v2#L783. idc=L788. cla88="line. namrc=L733.> 7332.a63 class="comment">/*3" > v2#L784. idc=L788. cla88="line. namrc=L734.> 7342.a63 class="comment"> * Generate 12 > cases:3" > 6852.a63 class="comment"> */3" > 7362.a6#include " -hardirq.h. class="frpt">.6.35.6" > -hardirq.h2.a6" 6872.a// 3_EVENTS" class="sopt">GENERAT(ion_softBCDBDDA_w.26.32.) class="comment"> */3" > 7382.a6 v2#L789. idc=L788. cla88="line. namrc=L739.> 7392.a6#include " -softirq.h. class="frpt">.6.35.6" > -softirq.h2.a6" 82tioa6/ 3_EVENTS" class="sopt">GENERAT(ion_softBCDBDDA_w.26frpt) class="comment"> */3" > 8612.a6 8562.aCONFIG_DEBUG_UNLO_ALUNL3pt optio+code=CONFIG_DEBUG_UNLO_ALUNL"line. namrc=L861.> 8612.a6 8362.a6I_SPI 3pt optio+codI_SPI +code=U" class="soptx 3pt optio+codx+coderc=L781.> 7812.a6> 86depBCDset_de=irq_inversion_so> 86depBCDset_de=i+code&=L781.> 7812.a6> 86_rq_inversion_so> 86_"lin##x.=L781.> 7812.a6depBmaprq_inversion_sodepBmapirq_read_recursion_soft2.a6) 8362.a6I_RW 3pt optio+codI_RW +code=U" class="soptx 3pt optio+codx+codercrc=L781.> 7812.a6> 86depBCDset_de=irq_inversion_so> 86depBCDset_de=i+code&=L781.> 7812.a6rw> 86_rq_inversion_sorw> 86_"lin##x.=L781.> 7812.a6depBmaprq_inversion_sodepBmapirq_read_recursion_soft2.a6) 8362.a6I_assEX 3pt optio+codI_assEX+code=U" class="soptx 3pt optio+codx+codercrcc=L781.> 7812.a6> 86depBCDset_de=irq_inversion_so> 86depBCDset_de=i+code&=L781.> 7812.a6mutex_rq_inversion_somutex_"lin##x.=L781.> 7812.a6depBmaprq_inversion_sodepBmapirq_read_recursion_soft2.a6) 8362.a6I_RWSEM 3pt optio+codI_RWSEM+code=U" class="soptx 3pt optio+codx+codercrcc=L781.> 7812.a6> 86depBCDset_de=irq_inversion_so> 86depBCDset_de=i+code&=L781.> 7812.a6rwsem_rq_inversion_sorwsem_"lin##x.=L781.> 7812.a6depBmaprq_inversion_sodepBmapirq_read_recursion_soft2.a6) 8362.a6I_SPI 3pt optio+codI_SPI +code=U" class="soptx 3pt optio+codx+codeead_recursion_soft2.a6) 8362.a6I_RW 3pt optio+codI_RW +code=U" class="soptx 3pt optio+codx+codeead_recursion_soft2.a6) v2#L800. idc=L809. cla9s="line . namrc=L836.> 8362.a6I_assEX 3pt optio+codI_assEX+code=U" class="soptx 3pt optio+codx+codeead_recursion_soft2.a6) v2#L791. idc=L799. cla9s="line . namrc=L836.> 8362.a6I_RWSEM 3pt optio+codI_RWSEM+code=U" class="soptx 3pt optio+codx+codeead_recursion_soft2.a6) v2#L792. idc=L799. cla9s="lin#endifead_recursion_soft2.a6) v2#L793. idc=L799. cla9s="line. namrc=L803.> 8032.a6 v2#L804. idc=L809. cla90="line. namrc=L824.> 8242.a6Idefine/opt optioI1+code=U" class="soptx 3pt optio+codx+codercrcccccccccccccccccccccccccccccccc \ v2#L805. idc=L809. cla90="line. namrcdo {rcrccccccccccccccccccccccccccccccccc \ v2#L796. idc=L799. cla90="line. namrce. namrc=L781.> 7812.a6 _SPI 3pt optio+codI_SPI +code=U" class="soptx 3pt optio+codx+codesopt">IRQ_DISABLE2.a6(); \ v2#L807. idc=L809. cla90="line. namrc=L837.> =L836.> 8362.a6I_RW 3pt optio+codI_RW +code=U" class="soptx 3pt optio+codx+code="sopt">IRQ_ENTER2.a6(); \ v2#L808. idc=L809. cla908"line. namrc=L837.> =L836.> 8362.a6I_assEX 3pt optio+codI_assEX+code=U" class="soptx 3pt optio+codx+code=B" class="sopt">B2.a6(); \ v2#L799. idc=L799. cla90="line. namrc=L789.> =L836.> 8362.a6I_RWSEM 3pt optio+codI_RWSEM+code=U" class="soptx 3pt optio+codx+code=B" class="sopt">B2.a6(); \ v2#L810. idc=L819. cla91="line. namrc} while (0eead_recursion_soft2.a6) v2#L811. idc=L819. cla91="line. namrc=L861.> 8612.a6 v2#L812. idc=L819. cla91="line. namrc=L862.> 8622.a6Idefine/opt optioI2+code=U" class="soptx 3pt optio+codx+codercrcccccccccccccccccccccccccccccccc \ v2#L813. idc=L819. cla913"line. namrcdo {rcrccccccccccccccccccccccccccccccccc \ v2#L814. idc=L819. cla91="line. namrc=L784.> =U" class="soptpt">_de=i_ini=irq_read_recurspt">_de=i_ini=+code&=L781.> 7812.a6> 86_rq_inversion_so> 86_"lin##xe=B" cla \ v2#L815. idc=L819. cla91="line. namrc=L825.> =L781.> 7812.a6rw> 86_ini=irq_read_recursrw> 86_ini=+code&=L781.> 7812.a6rw> 86_rq_inversion_sorw> 86_"lin##xe=B" clas \ v2#L816. idc=L819. cla91="line. namrce. namrc=L781.> 7812.a6mutex_ini=irq_read_recursmutex_ini=+code&=L781.> 7812.a6mutex_rq_inversion_somutex_"lin##xe=B" class= \ v2#L817. idc=L819. cla91="line. namrc=L837.> =L836.> 8362.a6ini=_rwsemrq_inversion_soini=_rwsem+code&=L781.> 7812.a6rwsem_rq_inversion_sorwsem_"lin##xe=B" class= \ v2#L818. idc=L819. cla9s="line. namrc} while (0eead_recursion_soft2.a6) v2#L819. idc=L819. cla9s="line. namrc=L819.> 8192.a6 v2#L820. idc=L829. cla9s="linstatic void =L781.> 7812.a6rDset_de=isrq_inversion_sorDset_de=is+codevoideead_recursion_soft2.a6) v2#L821. idc=L829. cla9s="lin{ead_recursion_soft2.a6) v2#L822. idc=L829. cla92="line. namrc=L842.> 8422.a6sofal_ion_disablerq_inversion_so> 8al_ion_disable" class="sopt">IRQ_EXIT2.a6(); v2#L823. idc=L829. cla92="line. namrc=L843.> 8432.a6 define/opt optioI1+code=U" class="sopt>RU2.a6(3pt optio+code=A=L843.> 8432.a6 define/opt optioI1+code=U" class="sopt">U2.a6(3pt optio+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptL3pt optio+code=C+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptDefine/opt optioD+code=="sopt">IRQ_EXIT2.a6(); v2#L824. idc=L829. cla9s="line. namrc=L724.> 7242.a6 define/opt optioI1+code=U" class="soptXdefine/opt optioX1+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptXdefine/opt optioX2+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptYdefine/opt optioY1+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptYdefine/opt optioY2+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptZdefine/opt optioZ1+code=B=L843.> 8432.a6 define/opt optioI1+code=U" class="soptZdefine/opt optioZ2+code=="sopt">IRQ_EXIT2.a6(); v2#L825. idc=L829. cla9s="line. namrc=L725.> 7252.a6> 86depBCDsetrq_inversion_so> 86depBCDset" class="sopt">IRQ_EXIT2.a6(); v2#L826. idc=L829. cla9s="line. namrc=L826.> 8262.a6 define/opt optioI2+code=U" class="sopt>RU2.a6(3pt optio+code=A=L843.> 8432.a6 define/opt optioI2+code=U" class="sopt">U2.a6(3pt optio+code=B=L843.> 8432.a6 define/opt optioI2+code=U" class="soptL3pt optio+code=C+code=B=L843.> 8432.a6 define/opt optioI2+code=U" class="soptDefine/opt optioD+code=="sopt">IRQ_EXIT2.a6(); v2#L827. idc=L829. cla9s="line. namrc=L827.> 8272.a6ini=_shared_> vesrq_inversion_soini=_shared_> ves" class="sopt">IRQ_EXIT2.a6(); v2#L828. idc=L829. cla9s="line. namrc=L828.> 8282.a6> 8al_ion_enablerq_inversion_so> 8al_ion_enable" class="sopt">IRQ_EXIT2.a6(); v2#L829. idc=L829. cla9s="lin}="sopt">IRQ_EXIT2.a6(); v2#L830. idc=L839. cla9s="line. namrc=L830.> 8302.a6 v2#L831. idc=L839. cla9s="line. namrc=L856.> 8562.aIefine/opt optioI"line. namrc=L830.> 8302.a6 v2#L832. idc=L839. cla9s="line. namrc=L732.> 7322.a6 v2#L833. idc=L839. cla9s="linstatic ardic=L856.> 8562.aomment">_totalefine/opt optioomment">_total"lins="sopt">IRQ_EXIT2.a6(); v2#L834. idc=L839. cla9s="linstatic ardic=L856.> 8562.aomment">_succe vesrq_inversion_soomment">_succe ves"lins="sopt">IRQ_EXIT2.a6(); v2#L835. idc=L839. cla9s="linstatic ardic=L856.> 8562.aexpected_omment">_failuresrq_inversion_soexpected_omment">_failures"lins="sopt">IRQ_EXIT2.a6(); v2#L836. idc=L839. cla9s="linstatic ardic=L856.> 8562.aunexpected_omment">_failuresrq_inversion_sounexpected_omment">_failures"lins="sopt">IRQ_EXIT2.a6(); v2#L837. idc=L839. cla93="line. namrc=L857.> 8572.a6 v2#L838. idc=L839. cla9s="linstatic void =L781.> 7812.a6dot oprq_inversion_sodot op+codevoid (*c=L856.> 8562.aomment">_f=irq_inversion_somment">_f=+codeevoide, ardic=L856.> 8562.aexpectedrq_inversion_soexpected+cod, ardic=L856.> 8562.a> 85_inve_masirq_inversion_so> 86_inve_masi+codeead_recursion_soft2.a6) v2#L839. idc=L839. cla9s="lin{ead_recursion_soft2.a6) v2#L840. idc=L849. cla9s="line. namrcunsigned long =U" class="soptpaved_preempt_coun=irq_read_recurspaved_preempt_coun="line= =U" class="soptpreempt_coun=irq_read_recurspreempt_coun="linass="sopt">IRQ_EXIT2.a6(); v2#L841. idc=L849. cla9s="line. namrcardic=L856.> 8562.aexpected_failurerq_inversion_soexpected_failure"line= 0s="sopt">IRQ_EXIT2.a6(); v2#L842. idc=L849. cla94="line. namrc=L732.> 7322.a6 v2#L843. idc=L849. cla9s="line. namrc=L843.> 8432.a6WARN_ONrq_inversion_soWARN_ON+code=U" class="soptft_p_disable=irq_read_recursionp_disable="linasss="sopt">IRQ_EXIT2.a6(); v2#L844. idc=L849. cla9s="line. namrc=L844.> 8442.a6 v2#L845. idc=L849. cla94="line. namrc=L725.> 7252.a6omment">_f=irq_inversion_somment">_f=+codass="sopt">IRQ_EXIT2.a6(); v2#L846. idc=L849. cla94="line. namrc=. namrc=L733.> 7332.a63 class="comment">/*3" > v2#L847. idc=L849. cla9s="line. namrc=L847.> 8472.a666666666* Filter out expected failures* Generate 12 > cases:3" > v2#L848. idc=L849. cla94="line. namrc=L768.> 7682.a666666666* class="comment"> */3" > v2#L849. idc=L849. cla94="line.f namrc=L856.> 8562.aCONFIG_PROVE_UNLOING3pt optio+code=CONFIG_PROVE_UNLOING"line. namrc=L844.> 8442.a6 v2#L850. idc=L859. cla95="line. namrcif (e=U" class="sopt> 85_inve_masirq_inversion_so> 86_inve_masi+cod &c=L785.> 7852.a6 TYPE_SPI rq_inversion_so TYPE_SPI +coder&&c=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod != =U" class="soptexpectedrq_inversion_soexpected+codeead_recursion_soft2.a6) v2#L851. idc=L859. cla95="line. namrce. namrc=L725.> 7252.a6expected_failurerq_inversion_soexpected_failure"line= 1s="sopt">IRQ_EXIT2.a6(); v2#L852. idc=L859. cla952"line. namrcif (e=U" class="sopt> 85_inve_masirq_inversion_so> 86_inve_masi+cod &c=L785.> 7852.a6 TYPE_RW 3pt optio+cod TYPE_RW +coder&&c=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod != =U" class="soptexpectedrq_inversion_soexpected+codeead_recursion_soft2.a6) v2#L853. idc=L859. cla95="line. namrc=L863.> =L725.> 7252.a6expected_failurerq_inversion_soexpected_failure"line= 1s="sopt">IRQ_EXIT2.a6(); v2#L854. idc=L859. cla954"line. namrcif (e=U" class="sopt> 85_inve_masirq_inversion_so> 86_inve_masi+cod &c=L785.> 7852.a6 TYPE_assEX 3pt optio+cod TYPE_assEX+coder&&c=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod != =U" class="soptexpectedrq_inversion_soexpected+codeead_recursion_soft2.a6) v2#L855. idc=L859. cla95="line. namrc=L825.> =L781.> 7812.a6expected_failurerq_inversion_soexpected_failure"line= 1s="sopt">IRQ_EXIT2.a6(); v2#L856. idc=L859. cla956"line. namrcif (e=U" class="sopt> 85_inve_masirq_inversion_so> 86_inve_masi+cod &c=L785.> 7852.a6 TYPE_RWSEM 3pt optio+cod TYPE_RWSEM+coder&&c=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod != =U" class="soptexpectedrq_inversion_soexpected+codeead_recursion_soft2.a6) v2#L857. idc=L859. cla95="line. namrc=L837.> =L836.> 8362.a6expected_failurerq_inversion_soexpected_failure"line= 1s="sopt">IRQ_EXIT2.a6(); v2#L858. idc=L859. cla9s="lin#endifead_recursion_soft2.a6) v2#L859. idc=L859. cla959"line. namrcif (=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod != =U" class="soptexpectedrq_inversion_soexpected+code {ead_recursion_soft2.a6) v2#L860. idc=L869. cla960"line. namrc=L837.> if (=L785.> 7852.a6expected_failurerq_inversion_soexpected_failure"line {ead_recursion_soft2.a6) v2#L861. idc=L869. cla96="line. namrce. namrc=L837.> =L836.> 8362.a6expected_omment">_failuresrq_inversion_soexpected_omment">_failures"lin++s="sopt">IRQ_EXIT2.a6(); v2#L862. idc=L869. cla96="line. namrc=L832.> 8322.a6 =U" class="soptprardirq_inversion_soprardi+code=. namrc=L768strarg"6" >failed|L739.> class="sopt">IRQ_EXIT2.a6(); v2#L863. idc=L869. cla9s="line. namrc=L863.> } else {ead_recursion_soft2.a6) v2#L864. idc=L869. cla96="line. namrc=L784.> 8322.a6 =U" class="soptunexpected_omment">_failuresrq_inversion_sounexpected_omment">_failures"lin++s="sopt">IRQ_EXIT2.a6(); v2#L865. idc=L869. cla96="line. namrc=L835.> 8352.a6 v2#L866. idc=L869. cla96="line. namrce. namrc8322.a6 =U" class="soptprardirq_inversion_soprardi+code=. namrc=L768strarg"6" >FAILED|L739.> class="sopt">IRQ_EXIT2.a6(); v2#L867. idc=L869. cla96="line. namrc=L837.> 8372.a6 =L785.> 7852.a6dump_sta=irq_inversion_sodump_sta=i+codass="sopt">IRQ_EXIT2.a6(); v2#L868. idc=L8c9L851.968"line. namrc=L837.> }="sopt">IRQ_EXIT2.a6(); v2#L769. idc=L769. cla9s="line. namrc} else {ead_recursion_soft2.a6) v2#L770. idc=L779. cla970"line. namrc=L837.> c=L856.> 8562.aomment">_succe vesrq_inversion_soomment">_succe ves"lin++s="sopt">IRQ_EXIT2.a6(); v2#L771. idc=L779. cla97="line. namrce. namrc=L725.> 7252.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6" > ok |L739.> class="sopt">IRQ_EXIT2.a6(); v2#L772. idc=L779. cla97="line. namrc}="sopt">IRQ_EXIT2.a6(); v2#L773. idc=L779. cla97="line. namrc=L833.> 8332.a6omment">_totalefine/opt optioomment">_total"lin++s="sopt">IRQ_EXIT2.a6(); v2#L774. idc=L779. cla97="line. namrc=L844.> 8442.a6 v2#L775. idc=L779. cla975"line. namrcif (=L785.> 7852.a6debug_de=is_verboserq_inversion_sodebug_de=is_verbose+codeead_recursion_soft2.a6) v2#L776. idc=L779. cla97="line. namrce. namrc=L781.> 7812.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6" > > 86_inve masi: %x, debug_de=is: %d, expected: %d\nL739.> cla,ead_recursion_soft2.a6) v2#L777. idc=L779. cla97="line. namrc=L837.> 8372.a6 =U" class="sopt> 85_inve_masirq_inversion_so> 86_inve_masi+cod,c=L785.> 7852.a6debug_de=isrq_inversion_sodebug_de=is+cod,c=L785.> 7852.a6expectedrq_inversion_soexpected+codes="sopt">IRQ_EXIT2.a6(); v2#L778. idc=L779. cla9s="line. namrc=. namrc=L733.> 7332.a63 class="comment">/*3" > v2#L779. idc=L779. cla97="line. namrc=L859.> 8592.a666666666* Somecommes (e.g. double-un/*3") might corrupt the preemption class="comment">/*3" > v2#L780. idc=L789. cla98="line. namrc=L860.> 86tioa666666666* coun=, so restore it* Generate 12 > cases:3" > v2#L781. idc=L789. cla98="line. namrc=L821.> 8212.a666666666* class="comment"> */3" > v2#L782. idc=L789. cla98="line. namrc=L842.> 8422.a6preempt_coun=irq_read_recurspreempt_coun="linase= =U" class="soptpaved_preempt_coun=irq_read_recurspaved_preempt_coun="lins="sopt">IRQ_EXIT2.a6(); v2#L783. idc=L789. cla98="line.fnamrc=L856.> 8562.aCONFIG_TRACE_IRQFLAGTE_PERMUTATIONS_CONFIG_TRACE_IRQFLAGT"line. namrc=L844.> 8442.a6 v2#L784. idc=L789. cla984"line. namrcif (=U" class="soptprpt">._coun=irq_read_recursprpt">._coun="linasse. namrc=L844.> 8442.a6 v2#L785. idc=L789. cla98="line. namrc=L825.> =L781.> 7812.a6curren=irq_read_recurscurren="lin->=L781.> 7812.a6prpt">.s_enabledrq_inversion_soprpt">.s_enabled"line= 0s="sopt">IRQ_EXIT2.a6(); v2#L786. idc=L789. cla98="line. namrcelseead_recursion_soft2.a6) v2#L787. idc=L789. cla98="line. namrc=L837.> =L836.> 8362.a6curren=irq_read_recurscurren="lin->=L781.> 7812.a6prpt">.s_enabledrq_inversion_soprpt">.s_enabled"line= 1s="sopt">IRQ_EXIT2.a6(); v2#L788. idc=L789. cla98="lin#endifead_recursion_soft2.a6) v2#L789. idc=L789. cla98="line. namrc=L819.> 8192.a6 v2#L790. idc=L799. cla99="line. namrc=L780.> 7802.a6rDset_de=isrq_inversion_sorDset_de=is+codees="sopt">IRQ_EXIT2.a6(); v2#L791. idc=L799. cla99="lin}="sopt">IRQ_EXIT2.a6(); v2#L792. idc=L799. cla99="line. namrc=L732.> 7322.a6 v2#L793. idc=L799. cla99="linstatic =U" class="soptfnL793. q_read_recursinL793"linevoid =L781.> 7812.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+codeconst char *c=L856.> 8562.aommeidc=rq_inversion_soommeidc=+codse. namrc=L844.> 8442.a6 v2#L794. idc=L799. cla9s="lin{ead_recursion_soft2.a6) v2#L795. idc=L799. cla99="line. namrc=L725.> 7252.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6" >%33s:L739.> cla,c=L833.> 8332.a6ommeidc=rq_inversion_soommeidc=+codss="sopt">IRQ_EXIT2.a6(); v2#L796. idc=L799. cla9s="lin}="sopt">IRQ_EXIT2.a6(); v2#L797. idc=L799. cla99="line. namrc=L857.> 8572.a6 v2#L798. idc=L799. cla9s="line. namrc=L862.> 8622.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line \ v2#L799. idc=L799. cla99="line. namrc=L779.> 7792.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+cod=. namrc=L768strarg"6" >/L739.> cla#nre=B" class="sopt">B2.a6); \ v2#L799. idc=L7910v2.>10v2"line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_##nr,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6 TYPE_RW 3pt optio+cod TYPE_RW +code;a6); /pre>
                     \

  v2#L791. idc=L7910v	 >10v="line. namrc=L781.> 7812.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L792. idc=L7910v	 >10v="line. namrc=L732.> 7322.a6

  v2#L793. idc=L7910v	 >10v3"line. namrc=L862.> 8622.a6DO_TESTCASE_d">U2.a6(3pt optiDO_TESTCASE_d"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                 \

  v2#L794. idc=L7910v	 >10v="line. namrc=L724.> 7242.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+cod=. namrc=L768strarg"6"
	  >/L739.>    cla#nre=B" class="sopt">B2.a6);                             \

  v2#L795. idc=L7910v	 >10v="line. namrc=L725.> 7252.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_##nr,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                             \

  v2#L796. idc=L7910v	 >10v="line. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L797. idc=L7910v	 >10v="line. namrc=L857.> 8572.a6

  v2#L798. idc=L7910v	 >10v="line. namrc=L862.> 8622.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                  \

  v2#L799. idc=L7910v	 >10v="line. namrc=L779.> 7792.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+cod=. namrc=L768strarg"6"
	  >/L739.>    cla#nre=B" class="sopt">B2.a6);                             \

  v2#L810. idc=L8110
	 >10
	"line. namrc=L725.> 7252.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_pt">_##nr,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_SPI rq_inversion_so    TYPE_SPI +code=B" clas                       \

  v2#L811. idc=L8110
	 >10
="line. namrc=L781.> 7812.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_w> 86_##nr,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                       \

  v2#L812. idc=L8110
	 >10
="line. namrc=L842.> 8422.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_r> 86_##nr,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                       \

  v2#L813. idc=L8110
	 >10
="line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L814. idc=L8110
	 >10
="line. namrc=L844.> 8442.a6

  v2#L815. idc=L8110
	 >10
5"line. namrc=L862.> 8622.a6DO_TESTCASE_dRWefine/opt optioDO_TESTCASE_dRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                \

  v2#L816. idc=L8110
	 >10
="line. namrc=L826.> 8262.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+cod=. namrc=L768strarg"6"
	  >/L739.>    cla#nre=B" class="sopt">B2.a6);                             \

  v2#L817. idc=L8110
	 >10
="line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_pt">_##nr,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_SPI rq_inversion_so    TYPE_SPI +cod|=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;                       \

  v2#L818. idc=L8110
	 >10
="line. namrc=L828.> 8282.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_w> 86_##nr,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                       \

  v2#L819. idc=L8110
	 >10
="line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_r> 86_##nr,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                       \

  v2#L820. idc=L8210
	 >10
	"line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L821. idc=L8210
	 >10
="line. namrc=L861.> 8612.a6

  v2#L822. idc=L8210
	 >10
="line. namrc=L862.> 8622.a6DO_TESTCASE_6efine/opt optioDO_TESTCASE_6+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccccccc                       \

  v2#L823. idc=L8210
	 >10
="line. namrc=L833.> 8332.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+code=B" class="sopt">B2.a6);      cccccc                       \

  v2#L824. idc=L8210
	 >10
="line. namrc=L724.> 7242.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_pt">,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_SPI rq_inversion_so    TYPE_SPI +code=B" clasccccc                       \

  v2#L825. idc=L8210
	 >10
="line. namrc=L725.> 7252.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_w> 86,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L826. idc=L8210
	 >10
="line. namrc=L826.> 8262.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_r> 86,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L827. idc=L8210
	 >10
="line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_mutex,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_assEX  3pt optio+cod    TYPE_assEX+code;a6);                             \

  v2#L828. idc=L8210
	 >10
="line. namrc=L828.> 8282.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_wsem,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L829. idc=L8210
	 >10
="line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_rsem,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L830. idc=L8310
	 >10
	"line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L831. idc=L8310
	 >10
="line. namrc=L861.> 8612.a6

  v2#L832. idc=L8310
	 >10
="line. namrc=L862.> 8622.a6DO_TESTCASE_6_SUCCESTE_PERMUTATIONS_DO_TESTCASE_6_SUCCEST+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccc                       \

  v2#L833. idc=L8310
	 >10
="line. namrc=L833.> 8332.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+code=B" class="sopt">B2.a6);      cccccc                       \

  v2#L834. idc=L8310
	 >10
="line. namrc=L724.> 7242.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_pt">,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_SPI rq_inversion_so    TYPE_SPI +code=B" clasccccc                       \

  v2#L835. idc=L8310
	 >10
="line. namrc=L725.> 7252.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_w> 86,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L836. idc=L8310
	 >10
="line. namrc=L826.> 8262.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_r> 86,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L837. idc=L8310
	 >10
="line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_mutex,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_assEX  3pt optio+cod    TYPE_assEX+code;a6);                             \

  v2#L838. idc=L8310
	 >10
="line. namrc=L828.> 8282.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_wsem,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L839. idc=L8310
	 >10
="line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_rsem,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L840. idc=L8410
	 >10
	"line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L841. idc=L8410
	 >10
="line. namrc=L861.> 8612.a6

  v2#L842. idc=L8410
	 >10
2+cod=. namrc=L768.> 7332.a63
	   class="comment">/*3"
	  >

  v2#L843. idc=L8410
	 >10
="line. namrc=L733.> 7332.a * 'soft' variant: r> 86s must not tragger.
	   class="comment">/*3"
	  >

  v2#L844. idc=L8410
	 >10
="line. namrc=L734.> 7342.a63
	   class="comment"> */3"
	  >

  v2#L845. idc=L8410
	 >10
5"line. namrc=L862.> 8622.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrccccccccccccccccccccccccccc                       \

  v2#L846. idc=L8410
	 >10
="line. namrc=L826.> 8262.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=U" class="soptdescrq_inversion_sodesc+code=B" class="sopt">B2.a6);      cccccc                       \

  v2#L847. idc=L8410
	 >10
="line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_pt">,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_SPI rq_inversion_so    TYPE_SPI +code=B" clasccccc                       \

  v2#L848. idc=L8410
	 >10
="line. namrc=L828.> 8282.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_w> 86,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L849. idc=L8410
	 >10
="line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_r> 86,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;a6);                            \

  v2#L850. idc=L8510
	 >10
	"line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_mutex,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_assEX  3pt optio+cod    TYPE_assEX+code;a6);                             \

  v2#L851. idc=L8510
	 >10
="line. namrc=L781.> 7812.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_wsem,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L852. idc=L8510
	 >10
="line. namrc=L842.> 8422.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_rsem,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=B" clascccc                       \

  v2#L853. idc=L8510
	 >10
="line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L854. idc=L8510
	 >10
="line. namrc=L844.> 8442.a6

  v2#L855. idc=L8510
	 >10
5"line. namrc=L862.> 8622.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                 \

  v2#L856. idc=L8510
	 >10
="line. namrc=L826.> 8262.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=. namrc=L768strarg"6"
	  >hard-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_hard,c=L785.> 7852.a6irrq_inversion_soir"line=B" clasccccc                       \

  v2#L857. idc=L8510
	 >10
="line. namrc=L827.> 8272.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=. namrc=L768strarg"6"
	  >prpt-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_prpt,c=L785.> 7852.a6irrq_inversion_soir"line=                      \

  v2#L858. idc=L8510
	 >10
8"line. namrc=L844.> 8442.a6

  v2#L859. idc=L8510
	 >10
9"line. namrc=L862.> 8622.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                \

  v2#L860. idc=L8610
	 >10
	"line. namrc=L827.> 8272.a6DO_TESTCASE_d">U2.a6(3pt optiDO_TESTCASE_d"+code=. namrc=L768strarg"6"
	  >hard-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_hard,c=L785.> 7852.a6irrq_inversion_soir"line=B" clascccc                       \

  v2#L861. idc=L8610
	 >10
="line. namrc=L781.> 7812.a6DO_TESTCASE_d">U2.a6(3pt optiDO_TESTCASE_d"+code=. namrc=L768strarg"6"
	  >prpt-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_prpt,c=L785.> 7852.a6irrq_inversion_soir"line=                      \

  v2#L862. idc=L8610
	 >10
="line. namrc=L732.> 7322.a6

  v2#L863. idc=L8610
	 >10
3"line. namrc=L862.> 8622.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                                 \

  v2#L864. idc=L8610
	 >10
="line. namrc=L724.> 7242.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=. namrc=L768strarg"6"
	  >hard-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_hard,c=L785.> 7852.a6irrq_inversion_soir"line=B" clascccc                        \

  v2#L865. idc=L8610
	 >10
="line. namrc=L725.> 7252.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=. namrc=L768strarg"6"
	  >prpt-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_prpt,c=L785.> 7852.a6irrq_inversion_soir"line=                      \

  v2#L866. idc=L8610
	 >10
6"line. namrc=L732.> 7322.a6

  v2#L867. idc=L8610
	 >10
7"line. namrc=L862.> 8622.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c=L785.> 7852.a6irrq_inversion_soir"line                                               \

  v2#L868. idc=L8c10
	 >10
="line. namrc=L828.> 8282.a6DO_TESTCASE_dRWefine/opt optioDO_TESTCASE_dRW+code=. namrc=L768strarg"6"
	  >hard-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_hard,c=L785.> 7852.a6irrq_inversion_soir"line=B" clasccc                       \

  v2#L769. idc=L7610
	 >10
="line. namrc=L779.> 7792.a6DO_TESTCASE_dRWefine/opt optioDO_TESTCASE_dRW+code=. namrc=L768strarg"6"
	  >prpt-L739.>    cla=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod##_prpt,c=L785.> 7852.a6irrq_inversion_soir"line=                      \

  v2#L770. idc=L7710
	 >10
	"line. namrc=L732.> 7322.a6

  v2#L771. idc=L7710
	 >10
1"line. namrc=L862.> 8622.a6DO_TESTCASE_2xdefine/opt optioDO_TESTCASE_2xd+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccccc                       \

  v2#L772. idc=L7710
	 >10
="line. namrc=L842.> 8422.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c12e=B" class="sopt">B2.a6);                          \

  v2#L773. idc=L7710
	 >10
="line. namrc=L833.> 8332.a6DO_TESTCASE_define/opt optioDO_TESTCASE_d+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c21e=                      \

  v2#L774. idc=L7710
	 >10
="line. namrc=L844.> 8442.a6

  v2#L775. idc=L7710
	 >10
5"line. namrc=L862.> 8622.a6DO_TESTCASE_2x6efine/opt optioDO_TESTCASE_2x6+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccccc                       \

  v2#L776. idc=L7710
	 >10
="line. namrc=L826.> 8262.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c12e=B" class="sopt">B2.a6);                         \

  v2#L777. idc=L7710
	 >10
="line. namrc=L827.> 8272.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c21e=                      \

  v2#L778. idc=L7710
	 >10
8"line. namrc=L844.> 8442.a6

  v2#L779. idc=L7710
	 >10
9"line. namrc=L862.> 8622.a6DO_TESTCASE_6xdefine/opt optioDO_TESTCASE_6xd+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccccc                       \

  v2#L780. idc=L7810
	 >10
	"line. namrc=L827.> 8272.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c123e=B" class="sopt">B2.a6);                        \

  v2#L781. idc=L7810
	 >10
="line. namrc=L781.> 7812.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c132e=B" class="sopt">B2.a6);                        \

  v2#L782. idc=L7810
	 >10
="line. namrc=L842.> 8422.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c213e=B" class="sopt">B2.a6);                        \

  v2#L783. idc=L7810
	 >10
="line. namrc=L833.> 8332.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c231e=B" class="sopt">B2.a6);                        \

  v2#L784. idc=L7810
	 >10
="line. namrc=L724.> 7242.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c312e=B" class="sopt">B2.a6);                        \

  v2#L785. idc=L7810
	 >10
="line. namrc=L725.> 7252.a6DO_TESTCASE_2Iefine/opt optioDO_TESTCASE_2I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c321e=                      \

  v2#L786. idc=L7810
	 >10
6"line. namrc=L732.> 7322.a6

  v2#L787. idc=L7810
	 >10
7"line. namrc=L862.> 8622.a6DO_TESTCASE_6x2">U2.a6(3pt optiDO_TESTCASE_6x2"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrccccccccccccccccccccccccc                       \

  v2#L788. idc=L7810
	 >10
="line. namrc=L828.> 8282.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c123e=B" class="sopt">B2.a6);                       \

  v2#L789. idc=L7810
	 >10
="line. namrc=L779.> 7792.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c132e=B" class="sopt">B2.a6);                       \

  v2#L790. idc=L7910
	 >10
	"line. namrc=L779.> 7792.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c213e=B" class="sopt">B2.a6);                       \

  v2#L791. idc=L7910
	 >10
="line. namrc=L781.> 7812.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c231e=B" class="sopt">B2.a6);                       \

  v2#L792. idc=L7910
	 >10
="line. namrc=L842.> 8422.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c312e=B" class="sopt">B2.a6);                       \

  v2#L793. idc=L7910
	 >10
="line. namrc=L833.> 8332.a6DO_TESTCASE_2I">U2.a6(3pt optiDO_TESTCASE_2I"+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c321e=                      \

  v2#L794. idc=L7910
	 >10
="line. namrc=L844.> 8442.a6

  v2#L795. idc=L7910
	 >10
5"line. namrc=L862.> 8622.a6DO_TESTCASE_6x6efine/opt optioDO_TESTCASE_6x6+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccccc                       \

  v2#L796. idc=L7910
	 >10
="line. namrc=L826.> 8262.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c123e=B" class="sopt">B2.a6);                        \

  v2#L797. idc=L7910
	 >10
="line. namrc=L827.> 8272.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c132e=B" class="sopt">B2.a6);                        \

  v2#L798. idc=L7910
	 >10
="line. namrc=L828.> 8282.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c213e=B" class="sopt">B2.a6);                        \

  v2#L799. idc=L7910
	 >10
="line. namrc=L779.> 7792.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c231e=B" class="sopt">B2.a6);                        \

  v2#L799. idc=L7911v2.>11v2"line. namrc=L779.> 7792.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c312e=B" class="sopt">B2.a6);                        \

  v2#L791. idc=L7911v	 >11v="line. namrc=L781.> 7812.a6DO_TESTCASE_6Iefine/opt optioDO_TESTCASE_6I+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c321e=                      \

  v2#L792. idc=L7911v	 >11v="line. namrc=L732.> 7322.a6

  v2#L793. idc=L7911v	 >11v3"line. namrc=L862.> 8622.a6DO_TESTCASE_6x6RWefine/opt optioDO_TESTCASE_6x6RW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+codercrcccccccccccccccccccccccc                       \

  v2#L794. idc=L7911v	 >11v="line. namrc=L724.> 7242.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c123e=B" class="sopt">B2.a6)                       \

  v2#L795. idc=L7911v	 >11v="line. namrc=L725.> 7252.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c132e=B" class="sopt">B2.a6)                       \

  v2#L796. idc=L7911v	 >11v="line. namrc=L826.> 8262.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c213e=B" class="sopt">B2.a6)                       \

  v2#L797. idc=L7911v	 >110="line. namrc=L827.> 8272.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c231e=B" class="sopt">B2.a6)                       \

  v2#L798. idc=L7911v	 >110="line. namrc=L828.> 8282.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c312e=B" class="sopt">B2.a6)                       \

  v2#L799. idc=L7911v	 >11v="line. namrc=L779.> 7792.a6DO_TESTCASE_6IRWefine/opt optioDO_TESTCASE_6IRW+code=U" class="soptdescrq_inversion_sodesc+cod,c=L785.> 7852.a6idc=rq_inversion_soidc=+cod,c321e=                      \

  v2#L810. idc=L8111
	 >111	"line. namrc=L732.> 7322.a6

  v2#L811. idc=L8111
	 >111="line. namrc=L861.> 8612.a6

  v2#L812. idc=L8111
	 >11
="linvoid =L781.> 7812.a6> 8612._6
 8612._6
 8442.a6

  v2#L813. idc=L8111
	 >11
="lin{ead_recursion_soft2.a6)

  v2#L814. idc=L8111
	 >111="line. namrc=. namrc=L768.> 7332.a63
	   class="comment">/*3"
	  >

  v2#L815. idc=L8111
	 >11
5"line. namrc=L860.> 86tioa666666666* Got a /*3"
	  failure before the >
/*3"
	  >

  v2#L816. idc=L8111
	 >11
="line. namrc=L821.> 8212.a666666666*
	   class="comment"> */3"
	  >

  v2#L817. idc=L8111
	 >11
="line. namrcif (!=U" class="soptdebug_de=isrq_inversion_sodebug_de=is+cod) {ead_recursion_soft2.a6)

  v2#L818. idc=L8111
	 >11
="line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >----------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L819. idc=L8111
	 >11
="line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >| L*3"
	  API t opsuite disabled |\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L820. idc=L8211
	 >11
	"line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >----------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L821. idc=L8211
	 >1121"line. namrce. namrcreturns="sopt">IRQ_EXIT2.a6();

  v2#L822. idc=L8211
	 >112="line. namrc}="sopt">IRQ_EXIT2.a6();

  v2#L823. idc=L8211
	 >11
="lin="sopt">IRQ_EXIT2.a6();

  v2#L824. idc=L8211
	 >112="line. namrc=. namrc=L768.> 7332.a63
	   class="comment">/*3"
	  >

  v2#L825. idc=L8211
	 >1125"line. namrc=L860.> 86tioa666666666* Run the t opsuite:
	   class="comment">/*3"
	  >

  v2#L826. idc=L8211
	 >112="line. namrc=L821.> 8212.a666666666*
	   class="comment"> */3"
	  >

  v2#L827. idc=L8211
	 >11
="line. namrc=L827.> 8272.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L828. idc=L8211
	 >11
="line. namrc=L828.> 8282.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >| L*3"
	  API t opsuite:\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L829. idc=L8211
	 >11
="line. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >----------------------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L830. idc=L8311
	 >11
	"line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. namrcccccccccccccccccc| pt"> |w> 86 |r> 86 |mutexc| wsemc| rsemc|\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L831. idc=L8311
	 >113="line. namrc=L781.> 7812.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >  --------------------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L832. idc=L8311
	 >113="line. namrc=L732.> 7322.a6

  v2#L833. idc=L8311
	 >11
="line. namrc=L833.> 8332.a6init_shared_>
  vesrq_inversion_soinit_shared_>
  ves+codess="sopt">IRQ_EXIT2.a6();

  v2#L834. idc=L8311
	 >11
="line. namrc=L724.> 7242.a6debug_de=is_sil212.q_inversion_sodebug_de=is_sil212"line= !=U" class="soptdebug_de=is_verbos=rq_inversion_sodebug_de=is_verbos="lins="sopt">IRQ_EXIT2.a6();

  v2#L835. idc=L8311
	 >11
="lin="sopt">IRQ_EXIT2.a6();

  v2#L836. idc=L8311
	 >11
="line. namrc=L826.> 8262.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-A deadIT2.L739.>    cla,c=L785.> 7852.a6AAE_PERMUTATIONS_AA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L837. idc=L8311
	 >11
="line. namrc=L827.> 8272.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-B-A deadIT2.L739.>    cla,c=L785.> 7852.a6ABBAE_PERMUTATIONS_ABBA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L838. idc=L8311
	 >11
="line. namrc=L828.> 8282.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-B-C-C-A deadIT2.L739.>    cla,c=L785.> 7852.a6ABBCCAE_PERMUTATIONS_ABBCCA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L839. idc=L8311
	 >11
="line. namrc=L779.> 7792.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-C-A-B-C deadIT2.L739.>    cla,c=L785.> 7852.a6ABCABCE_PERMUTATIONS_ABCABC+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L840. idc=L8411
	 >11
	"line. namrc=L833.> 8332.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-B-C-C-D-D-A deadIT2.L739.>    cla,c=L785.> 7852.a6ABBCCDDAE_PERMUTATIONS_ABBCCDDA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L841. idc=L8411
	 >114="line. namrc=L781.> 7812.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-C-D-B-D-D-A deadIT2.L739.>    cla,c=L785.> 7852.a6ABCDBDDAE_PERMUTATIONS_ABCDBDDA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L842. idc=L8411
	 >114="line. namrc=L842.> 8422.a6DO_TESTCASE_6RE_PERMUTATIONS_DO_TESTCASE_6R+code=. namrc=L768strarg"6"
	  >A-B-C-D-B-C-D-A deadIT2.L739.>    cla,c=L785.> 7852.a6ABCDBCDAE_PERMUTATIONS_ABCDBCDA+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L843. idc=L8411
	 >114="line. namrc=L833.> 8332.a6DO_TESTCASE_6efine/opt optioDO_TESTCASE_6+code=. namrc=L768strarg"6"
	  >double unIT2.L739.>    cla,c=L785.> 7852.a6double_unIT2.rq_inversion_sodouble_unIT2.+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L844. idc=L8411
	 >114="line. namrc=L724.> 7242.a6DO_TESTCASE_6efine/opt optioDO_TESTCASE_6+code=. namrc=L768strarg"6"
	  >initialize heldL739.>    cla,c=L785.> 7852.a6init_heldrq_inversion_soinit_held+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L845. idc=L8411
	 >114="line. namrc=L725.> 7252.a6DO_TESTCASE_6_SUCCESTE_PERMUTATIONS_DO_TESTCASE_6_SUCCEST+code=. namrc=L768strarg"6"
	  >bad unIT2. orderL739.>    cla,c=L785.> 7852.a6bad_unIT2._orderE_PERMUTATIONS_bad_unIT2._order+cod)s="sopt">IRQ_EXIT2.a6();

  v2#L846. idc=L8411
	 >1146"line. namrc=L732.> 7322.a6

  v2#L847. idc=L8411
	 >11
="line. namrc=L827.> 8272.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >  --------------------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L848. idc=L8411
	 >11
="line. namrc=L828.> 8282.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=. namrc=L768strarg"6"
	  >recursive soft-IT2.L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L849. idc=L8411
	 >11
="line. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L850. idc=L8511
	 >11
	"line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6r> 86_AAdefine/opt optior> 86_AAd+cod,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;="sopt">IRQ_EXIT2.a6();

  v2#L851. idc=L8511
	 >11
="line. namrc=L781.> 7812.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L852. idc=L8511
	 >11
="line. namrc=L842.> 8422.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6rsem_AAdefine/opt optiorsem_AAd+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=="sopt">IRQ_EXIT2.a6();

  v2#L853. idc=L8511
	 >11
="line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L854. idc=L8511
	 >11
="line. namrc=L844.> 8442.a6

  v2#L855. idc=L8511
	 >115="line. namrc=L725.> 7252.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=. namrc=L768strarg"6"
	  >recursive soft-IT2. #2L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L856. idc=L8511
	 >11
="line. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L857. idc=L8511
	 >11
="line. namrc=L827.> 8272.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6r> 86_AAd">U2.a6(3pt optir> 86_AAd"+cod,c=L785.> 7852.a6SUCCESTE_PERMUTATIONS_SUCCEST+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;="sopt">IRQ_EXIT2.a6();

  v2#L858. idc=L8511
	 >115="line. namrc=L828.> 8282.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L859. idc=L8511
	 >115="line. namrc=L779.> 7792.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6rsem_AAd">U2.a6(3pt optirsem_AAd"+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=="sopt">IRQ_EXIT2.a6();

  v2#L860. idc=L8611
	 >11
	"line. namrc=L827.> 8272.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L861. idc=L8611
	 >116="line. namrc=L861.> 8612.a6

  v2#L862. idc=L8611
	 >116="line. namrc=L842.> 8422.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=. namrc=L768strarg"6"
	  >mixed soft-write-IT2.L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L863. idc=L8611
	 >116="line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L864. idc=L8611
	 >11
="line. namrc=L724.> 7242.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6r> 86_AAdefine/opt optior> 86_AAd+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;="sopt">IRQ_EXIT2.a6();

  v2#L865. idc=L8611
	 >11
="line. namrc=L725.> 7252.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L866. idc=L8611
	 >116="line. namrc=L826.> 8262.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6rsem_AAdefine/opt optiorsem_AAd+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=="sopt">IRQ_EXIT2.a6();

  v2#L867. idc=L8611
	 >116="line. namrc=L827.> 8272.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L868. idc=L8c11
	 >1168"line. namrc=L844.> 8442.a6

  v2#L769. idc=L7611
	 >11
="line. namrc=L779.> 7792.a6prard_ommeidc=rq_inversion_soprard_ommeidc=+code=. namrc=L768strarg"6"
	  >mixed write-soft-IT2.L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L770. idc=L7711
	 >117	"line. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L771. idc=L7711
	 >117="line. namrc=L781.> 7812.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6r> 86_AAdefine/opt optior> 86_AAd+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RW      3pt optio+cod    TYPE_RW    +code;="sopt">IRQ_EXIT2.a6();

  v2#L772. idc=L7711
	 >11
="line. namrc=L842.> 8422.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >e. namrce. na|L739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L773. idc=L7711
	 >11
="line. namrc=L833.> 8332.a6dot oprq_inversion_sodot op+code=L785.> 7852.a6rsem_AAdefine/opt optiorsem_AAd+cod,c=L785.> 7852.a6FAILURErq_inversion_soFAILURE+cod,c=L785.> 7852.a6    TYPE_RWSEM  3pt optio+cod    TYPE_RWSEM+code=="sopt">IRQ_EXIT2.a6();

  v2#L774. idc=L7711
	 >117="line. namrc=L724.> 7242.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L775. idc=L7711
	 >117="lin="sopt">IRQ_EXIT2.a6();

  v2#L776. idc=L7711
	 >11
="line. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >  --------------------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L777. idc=L7711
	 >11
="lin="sopt">IRQ_EXIT2.a6();

  v2#L778. idc=L7711
	 >117="line. namrc=. namrc=L768.> 7332.a63
	   class="comment">/*3"
	  >

  v2#L779. idc=L7711
	 >11
9"line. namrc=L860.> 86tioa666666666* irq-context t opcases:
	   class="comment">/*3"
	  >

  v2#L780. idc=L7811
	 >11
	"line. namrc=L821.> 8212.a666666666*
	   class="comment"> */3"
	  >

  v2#L781. idc=L7811
	 >11
="line. namrc=L781.> 7812.a6DO_TESTCASE_2x6efine/opt optioDO_TESTCASE_2x6+code=. namrc=L768strarg"6"
	  >irqs-on + irq-safe-AL739.>    cla,c=L785.> 7852.a6irqsafedefine/opt optioirqsafed+code=="sopt">IRQ_EXIT2.a6();

  v2#L782. idc=L7811
	 >11
="line. namrc=L842.> 8422.a6DO_TESTCASE_2xdefine/opt optioDO_TESTCASE_2xd+code=. namrc=L768strarg"6"
	  >pirq-safe-A =&g > hirqs-onL739.>    cla,c=L785.> 7852.a6irqsafe2AE_PERMUTATIONS_irqsafe2A+code=="sopt">IRQ_EXIT2.a6();

  v2#L783. idc=L7811
	 >11
="line. namrc=L833.> 8332.a6DO_TESTCASE_2x6efine/opt optioDO_TESTCASE_2x6+code=. namrc=L768strarg"6"
	  >safe-A + irqs-onL739.>    cla,c=L785.> 7852.a6irqsafe2">U2.a6(3pt optiirqsafe2"+code=="sopt">IRQ_EXIT2.a6();

  v2#L784. idc=L7811
	 >11
="line. namrc=L724.> 7242.a6DO_TESTCASE_6x6efine/opt optioDO_TESTCASE_6x6+code=. namrc=L768strarg"6"
	  >safe-A + unsafe-B #1L739.>    cla,c=L785.> 7852.a6irqsafedefine/opt optioirqsafed+code=="sopt">IRQ_EXIT2.a6();

  v2#L785. idc=L7811
	 >11
="line. namrc=L725.> 7252.a6DO_TESTCASE_6x6efine/opt optioDO_TESTCASE_6x6+code=. namrc=L768strarg"6"
	  >safe-A + unsafe-B #2L739.>    cla,c=L785.> 7852.a6irqsafe4efine/opt optioirqsafe4+code=="sopt">IRQ_EXIT2.a6();

  v2#L786. idc=L7811
	 >118="line. namrc=L826.> 8262.a6DO_TESTCASE_6x6RWefine/opt optioDO_TESTCASE_6x6RW+code=. namrc=L768strarg"6"
	  >irq /*3"-inversionL739.>    cla,c=L785.> 7852.a6irq_inversionefine/opt optioirq_inversion+code=="sopt">IRQ_EXIT2.a6();

  v2#L787. idc=L7811
	 >118="lin="sopt">IRQ_EXIT2.a6();

  v2#L788. idc=L7811
	 >11
="line. namrc=L828.> 8282.a6DO_TESTCASE_6xdefine/opt optioDO_TESTCASE_6xd+code=. namrc=L768strarg"6"
	  >irq soft-recursionL739.>    cla,c=L785.> 7852.a6irq_soft_recursionefine/opt optioirq_soft_recursion+code=="sopt">IRQ_EXIT2.a6();

  v2#L789. idc=L7811
	 >1189"line. namrc=L860.> 86tioa// namrcDO_TESTCASE_6x2"("
	  >irq soft-recursion #2L739.>, irq_soft_recursion2);	   class="comment"> */3"
	  >

  v2#L790. idc=L7911
	 >119	"line. namrc=L732.> 7322.a6

  v2#L791. idc=L7911
	 >11
="line. namrcif (=L785.> 7852.a6unexpected_t opcase_failuresrq_inversion_sounexpected_t opcase_failures+code {ead_recursion_soft2.a6)

  v2#L792. idc=L7911
	 >11
="line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >-----------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L793. idc=L7911
	 >11
="line. namrce. namrc=L833.> 8332.a6debug_de=isrq_inversion_sodebug_de=is+cod = 0s="sopt">IRQ_EXIT2.a6();

  v2#L794. idc=L7911
	 >1194"line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >BUG: %3d unexpected failures (out of %3d) - debugg
	  disabled!c|\nL739.>    cla,="sopt">IRQ_EXIT2.a6();

  v2#L795. idc=L7911
	 >1195"line. namrce. namrce. namrc=L826.> 8262.a6unexpected_t opcase_failuresrq_inversion_sounexpected_t opcase_failures+cod,c=L785.> 7852.a6t opcase_totalrq_inversion_sot opcase_total+code=="sopt">IRQ_EXIT2.a6();

  v2#L796. idc=L7911
	 >11
="line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >-----------------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L797. idc=L7911
	 >11
="line. namrc} elsecif (=L785.> 7852.a6expected_t opcase_failuresrq_inversion_soexpected_t opcase_failures+cod &&c=L785.> 7852.a6t opcase_succe vesrq_inversion_sot opcase_succe ves+code {ead_recursion_soft2.a6)

  v2#L798. idc=L7911
	 >119="line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >--------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L799. idc=L7911
	 >119="line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >%3d out of %3d t opcases failed, as expected.c|\nL739.>    cla,="sopt">IRQ_EXIT2.a6();

  v2#L799. idc=L7912v2.>120	"line. namrce. namrce. namrc=L779.> 7792.a6expected_t opcase_failuresrq_inversion_soexpected_t opcase_failures+cod,c=L785.> 7852.a6t opcase_totalrq_inversion_sot opcase_total+code=="sopt">IRQ_EXIT2.a6();

  v2#L791. idc=L7912v	 >1201"line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >----------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L792. idc=L7912v	 >120="line. namrce. namrc=L826.> 8262.a6debug_de=isrq_inversion_sodebug_de=is+cod = 1s="sopt">IRQ_EXIT2.a6();

  v2#L793. idc=L7912v	 >1203"line. namrc} elsecif (=L785.> 7852.a6expected_t opcase_failuresrq_inversion_soexpected_t opcase_failures+cod &&c!=U" class="soptt opcase_succe vesrq_inversion_sot opcase_succe ves+code {ead_recursion_soft2.a6)

  v2#L794. idc=L7912v	 >1204"line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >--------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L795. idc=L7912v	 >1205"line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >All %3d t opcases failed, as expected.c|\nL739.>    cla,="sopt">IRQ_EXIT2.a6();

  v2#L796. idc=L7912v	 >120="line. namrce. namrce. namrc=L779.> 7792.a6expected_t opcase_failuresrq_inversion_soexpected_t opcase_failures+codss="sopt">IRQ_EXIT2.a6();

  v2#L797. idc=L7912v	 >120="line. namrce. namrc=L826.> 8262.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >----------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L798. idc=L7912v	 >120="line. namrce. namrc=L779.> 7792.a6debug_de=isrq_inversion_sodebug_de=is+cod = 1s="sopt">IRQ_EXIT2.a6();

  v2#L799. idc=L7912v	 >12v="line. namrc} elsec{ead_recursion_soft2.a6)

  v2#L810. idc=L8112
	 >121	"line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >-------------------------------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L811. idc=L8112
	 >1211"line. namrce. namrc=L779.> 7792.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >Good, all %3d t opcases p=L7ed!c|\nL739.>    cla,="sopt">IRQ_EXIT2.a6();

  v2#L812. idc=L8112
	 >121="line. namrce. namrce. namrc=L779.> 7792.a6t opcase_succe vesrq_inversion_sot opcase_succe ves+codes="sopt">IRQ_EXIT2.a6();

  v2#L813. idc=L8112
	 >121="line. namrce. namrc=L833.> 8332.a6prardirq_inversion_soprardi+code=. namrc=L768strarg"6"
	  >---------------------------------\nL739.>    class="sopt">IRQ_EXIT2.a6();

  v2#L814. idc=L8112
	 >1214"line. namrce. namrc=L826.> 8262.a6debug_de=isrq_inversion_sodebug_de=is+cod = 1s="sopt">IRQ_EXIT2.a6();

  v2#L815. idc=L8112
	 >1215"line. namrc}="sopt">IRQ_EXIT2.a6();

  v2#L816. idc=L8112
	 >121="line. namrc=L826.> 8262.a6debug_de=is_sil212.q_inversion_sodebug_de=is_sil212"line= 0s="sopt">IRQ_EXIT2.a6();

  v2#L817. idc=L8112
	 >12
="lin}="sopt">IRQ_EXIT2.a6();

  v2#L818. idc=L8112
	 >12
="lin




v2#footer"> The original LXR prptware by the "sopt">IRhttp://sourceforge.net/projects/lxr">LXR .> 8unity+cod,cthis experi86tial version by "sopt">IRmailto:lxr@L81ux.no">lxr@L81ux.no+cod.
v2#subfooter"> lxr.L81ux.no .a6dly hosted by "sopt">IRhttp://www.redpill-L81pro.no">Redpill L81pro AT+cod,cprovider of L81ux .>nsult and operations service since 1995.