Home | History | Annotate | Download | only in i386
      1 #objdump: -dw
      2 #name: x86-64 HLE insns
      3 
      4 .*: +file format .*
      5 
      6 
      7 Disassembly of section .text:
      8 
      9 0+ <_start>:
     10 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
     11 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
     12 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
     13 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
     14 [ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%rcx\)
     15 [ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%rcx\)
     16 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
     17 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
     18 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
     19 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
     20 [ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%rcx\)
     21 [ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%rcx\)
     22 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
     23 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
     24 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
     25 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
     26 [ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%rcx\)
     27 [ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%rcx\)
     28 [ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%rcx\)
     29 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
     30 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
     31 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
     32 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
     33 [ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%rcx\)
     34 [ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%rcx\)
     35 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
     36 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
     37 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
     38 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
     39 [ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%rcx\)
     40 [ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%rcx\)
     41 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
     42 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
     43 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
     44 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
     45 [ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%rcx\)
     46 [ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%rcx\)
     47 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
     48 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
     49 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
     50 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
     51 [ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%rcx\)
     52 [ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%rcx\)
     53 [ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%rcx\)
     54 [ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%rcx\)
     55 [ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%rcx\)
     56 [ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%rcx\)
     57 [ 	]*[a-f0-9]+:	f0 f2 66 81 11 e8 03 	lock xacquire adcw \$0x3e8,\(%rcx\)
     58 [ 	]*[a-f0-9]+:	f0 f3 66 81 11 e8 03 	lock xrelease adcw \$0x3e8,\(%rcx\)
     59 [ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%rcx\)
     60 [ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%rcx\)
     61 [ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%rcx\)
     62 [ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%rcx\)
     63 [ 	]*[a-f0-9]+:	f0 f2 66 81 01 e8 03 	lock xacquire addw \$0x3e8,\(%rcx\)
     64 [ 	]*[a-f0-9]+:	f0 f3 66 81 01 e8 03 	lock xrelease addw \$0x3e8,\(%rcx\)
     65 [ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%rcx\)
     66 [ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%rcx\)
     67 [ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%rcx\)
     68 [ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%rcx\)
     69 [ 	]*[a-f0-9]+:	f0 f2 66 81 21 e8 03 	lock xacquire andw \$0x3e8,\(%rcx\)
     70 [ 	]*[a-f0-9]+:	f0 f3 66 81 21 e8 03 	lock xrelease andw \$0x3e8,\(%rcx\)
     71 [ 	]*[a-f0-9]+:	66 f3 c7 01 e8 03    	xrelease movw \$0x3e8,\(%rcx\)
     72 [ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%rcx\)
     73 [ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%rcx\)
     74 [ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%rcx\)
     75 [ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%rcx\)
     76 [ 	]*[a-f0-9]+:	f0 f2 66 81 09 e8 03 	lock xacquire orw \$0x3e8,\(%rcx\)
     77 [ 	]*[a-f0-9]+:	f0 f3 66 81 09 e8 03 	lock xrelease orw \$0x3e8,\(%rcx\)
     78 [ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%rcx\)
     79 [ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%rcx\)
     80 [ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%rcx\)
     81 [ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%rcx\)
     82 [ 	]*[a-f0-9]+:	f0 f2 66 81 19 e8 03 	lock xacquire sbbw \$0x3e8,\(%rcx\)
     83 [ 	]*[a-f0-9]+:	f0 f3 66 81 19 e8 03 	lock xrelease sbbw \$0x3e8,\(%rcx\)
     84 [ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%rcx\)
     85 [ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%rcx\)
     86 [ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%rcx\)
     87 [ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%rcx\)
     88 [ 	]*[a-f0-9]+:	f0 f2 66 81 29 e8 03 	lock xacquire subw \$0x3e8,\(%rcx\)
     89 [ 	]*[a-f0-9]+:	f0 f3 66 81 29 e8 03 	lock xrelease subw \$0x3e8,\(%rcx\)
     90 [ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%rcx\)
     91 [ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%rcx\)
     92 [ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%rcx\)
     93 [ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%rcx\)
     94 [ 	]*[a-f0-9]+:	f0 f2 66 81 31 e8 03 	lock xacquire xorw \$0x3e8,\(%rcx\)
     95 [ 	]*[a-f0-9]+:	f0 f3 66 81 31 e8 03 	lock xrelease xorw \$0x3e8,\(%rcx\)
     96 [ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%rcx\)
     97 [ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%rcx\)
     98 [ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%rcx\)
     99 [ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%rcx\)
    100 [ 	]*[a-f0-9]+:	f0 f2 81 11 80 96 98 00 	lock xacquire adcl \$0x989680,\(%rcx\)
    101 [ 	]*[a-f0-9]+:	f0 f3 81 11 80 96 98 00 	lock xrelease adcl \$0x989680,\(%rcx\)
    102 [ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%rcx\)
    103 [ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%rcx\)
    104 [ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%rcx\)
    105 [ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%rcx\)
    106 [ 	]*[a-f0-9]+:	f0 f2 81 01 80 96 98 00 	lock xacquire addl \$0x989680,\(%rcx\)
    107 [ 	]*[a-f0-9]+:	f0 f3 81 01 80 96 98 00 	lock xrelease addl \$0x989680,\(%rcx\)
    108 [ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%rcx\)
    109 [ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%rcx\)
    110 [ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%rcx\)
    111 [ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%rcx\)
    112 [ 	]*[a-f0-9]+:	f0 f2 81 21 80 96 98 00 	lock xacquire andl \$0x989680,\(%rcx\)
    113 [ 	]*[a-f0-9]+:	f0 f3 81 21 80 96 98 00 	lock xrelease andl \$0x989680,\(%rcx\)
    114 [ 	]*[a-f0-9]+:	f3 c7 01 80 96 98 00 	xrelease movl \$0x989680,\(%rcx\)
    115 [ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%rcx\)
    116 [ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%rcx\)
    117 [ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%rcx\)
    118 [ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%rcx\)
    119 [ 	]*[a-f0-9]+:	f0 f2 81 09 80 96 98 00 	lock xacquire orl \$0x989680,\(%rcx\)
    120 [ 	]*[a-f0-9]+:	f0 f3 81 09 80 96 98 00 	lock xrelease orl \$0x989680,\(%rcx\)
    121 [ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%rcx\)
    122 [ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%rcx\)
    123 [ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%rcx\)
    124 [ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%rcx\)
    125 [ 	]*[a-f0-9]+:	f0 f2 81 19 80 96 98 00 	lock xacquire sbbl \$0x989680,\(%rcx\)
    126 [ 	]*[a-f0-9]+:	f0 f3 81 19 80 96 98 00 	lock xrelease sbbl \$0x989680,\(%rcx\)
    127 [ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%rcx\)
    128 [ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%rcx\)
    129 [ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%rcx\)
    130 [ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%rcx\)
    131 [ 	]*[a-f0-9]+:	f0 f2 81 29 80 96 98 00 	lock xacquire subl \$0x989680,\(%rcx\)
    132 [ 	]*[a-f0-9]+:	f0 f3 81 29 80 96 98 00 	lock xrelease subl \$0x989680,\(%rcx\)
    133 [ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%rcx\)
    134 [ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%rcx\)
    135 [ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%rcx\)
    136 [ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%rcx\)
    137 [ 	]*[a-f0-9]+:	f0 f2 81 31 80 96 98 00 	lock xacquire xorl \$0x989680,\(%rcx\)
    138 [ 	]*[a-f0-9]+:	f0 f3 81 31 80 96 98 00 	lock xrelease xorl \$0x989680,\(%rcx\)
    139 [ 	]*[a-f0-9]+:	f2 f0 48 81 11 80 96 98 00 	xacquire lock adcq \$0x989680,\(%rcx\)
    140 [ 	]*[a-f0-9]+:	f2 f0 48 81 11 80 96 98 00 	xacquire lock adcq \$0x989680,\(%rcx\)
    141 [ 	]*[a-f0-9]+:	f3 f0 48 81 11 80 96 98 00 	xrelease lock adcq \$0x989680,\(%rcx\)
    142 [ 	]*[a-f0-9]+:	f3 f0 48 81 11 80 96 98 00 	xrelease lock adcq \$0x989680,\(%rcx\)
    143 [ 	]*[a-f0-9]+:	f0 f2 48 81 11 80 96 98 00 	lock xacquire adcq \$0x989680,\(%rcx\)
    144 [ 	]*[a-f0-9]+:	f0 f3 48 81 11 80 96 98 00 	lock xrelease adcq \$0x989680,\(%rcx\)
    145 [ 	]*[a-f0-9]+:	f2 f0 48 81 01 80 96 98 00 	xacquire lock addq \$0x989680,\(%rcx\)
    146 [ 	]*[a-f0-9]+:	f2 f0 48 81 01 80 96 98 00 	xacquire lock addq \$0x989680,\(%rcx\)
    147 [ 	]*[a-f0-9]+:	f3 f0 48 81 01 80 96 98 00 	xrelease lock addq \$0x989680,\(%rcx\)
    148 [ 	]*[a-f0-9]+:	f3 f0 48 81 01 80 96 98 00 	xrelease lock addq \$0x989680,\(%rcx\)
    149 [ 	]*[a-f0-9]+:	f0 f2 48 81 01 80 96 98 00 	lock xacquire addq \$0x989680,\(%rcx\)
    150 [ 	]*[a-f0-9]+:	f0 f3 48 81 01 80 96 98 00 	lock xrelease addq \$0x989680,\(%rcx\)
    151 [ 	]*[a-f0-9]+:	f2 f0 48 81 21 80 96 98 00 	xacquire lock andq \$0x989680,\(%rcx\)
    152 [ 	]*[a-f0-9]+:	f2 f0 48 81 21 80 96 98 00 	xacquire lock andq \$0x989680,\(%rcx\)
    153 [ 	]*[a-f0-9]+:	f3 f0 48 81 21 80 96 98 00 	xrelease lock andq \$0x989680,\(%rcx\)
    154 [ 	]*[a-f0-9]+:	f3 f0 48 81 21 80 96 98 00 	xrelease lock andq \$0x989680,\(%rcx\)
    155 [ 	]*[a-f0-9]+:	f0 f2 48 81 21 80 96 98 00 	lock xacquire andq \$0x989680,\(%rcx\)
    156 [ 	]*[a-f0-9]+:	f0 f3 48 81 21 80 96 98 00 	lock xrelease andq \$0x989680,\(%rcx\)
    157 [ 	]*[a-f0-9]+:	f3 48 c7 01 80 96 98 00 	xrelease movq \$0x989680,\(%rcx\)
    158 [ 	]*[a-f0-9]+:	f2 f0 48 81 09 80 96 98 00 	xacquire lock orq \$0x989680,\(%rcx\)
    159 [ 	]*[a-f0-9]+:	f2 f0 48 81 09 80 96 98 00 	xacquire lock orq \$0x989680,\(%rcx\)
    160 [ 	]*[a-f0-9]+:	f3 f0 48 81 09 80 96 98 00 	xrelease lock orq \$0x989680,\(%rcx\)
    161 [ 	]*[a-f0-9]+:	f3 f0 48 81 09 80 96 98 00 	xrelease lock orq \$0x989680,\(%rcx\)
    162 [ 	]*[a-f0-9]+:	f0 f2 48 81 09 80 96 98 00 	lock xacquire orq \$0x989680,\(%rcx\)
    163 [ 	]*[a-f0-9]+:	f0 f3 48 81 09 80 96 98 00 	lock xrelease orq \$0x989680,\(%rcx\)
    164 [ 	]*[a-f0-9]+:	f2 f0 48 81 19 80 96 98 00 	xacquire lock sbbq \$0x989680,\(%rcx\)
    165 [ 	]*[a-f0-9]+:	f2 f0 48 81 19 80 96 98 00 	xacquire lock sbbq \$0x989680,\(%rcx\)
    166 [ 	]*[a-f0-9]+:	f3 f0 48 81 19 80 96 98 00 	xrelease lock sbbq \$0x989680,\(%rcx\)
    167 [ 	]*[a-f0-9]+:	f3 f0 48 81 19 80 96 98 00 	xrelease lock sbbq \$0x989680,\(%rcx\)
    168 [ 	]*[a-f0-9]+:	f0 f2 48 81 19 80 96 98 00 	lock xacquire sbbq \$0x989680,\(%rcx\)
    169 [ 	]*[a-f0-9]+:	f0 f3 48 81 19 80 96 98 00 	lock xrelease sbbq \$0x989680,\(%rcx\)
    170 [ 	]*[a-f0-9]+:	f2 f0 48 81 29 80 96 98 00 	xacquire lock subq \$0x989680,\(%rcx\)
    171 [ 	]*[a-f0-9]+:	f2 f0 48 81 29 80 96 98 00 	xacquire lock subq \$0x989680,\(%rcx\)
    172 [ 	]*[a-f0-9]+:	f3 f0 48 81 29 80 96 98 00 	xrelease lock subq \$0x989680,\(%rcx\)
    173 [ 	]*[a-f0-9]+:	f3 f0 48 81 29 80 96 98 00 	xrelease lock subq \$0x989680,\(%rcx\)
    174 [ 	]*[a-f0-9]+:	f0 f2 48 81 29 80 96 98 00 	lock xacquire subq \$0x989680,\(%rcx\)
    175 [ 	]*[a-f0-9]+:	f0 f3 48 81 29 80 96 98 00 	lock xrelease subq \$0x989680,\(%rcx\)
    176 [ 	]*[a-f0-9]+:	f2 f0 48 81 31 80 96 98 00 	xacquire lock xorq \$0x989680,\(%rcx\)
    177 [ 	]*[a-f0-9]+:	f2 f0 48 81 31 80 96 98 00 	xacquire lock xorq \$0x989680,\(%rcx\)
    178 [ 	]*[a-f0-9]+:	f3 f0 48 81 31 80 96 98 00 	xrelease lock xorq \$0x989680,\(%rcx\)
    179 [ 	]*[a-f0-9]+:	f3 f0 48 81 31 80 96 98 00 	xrelease lock xorq \$0x989680,\(%rcx\)
    180 [ 	]*[a-f0-9]+:	f0 f2 48 81 31 80 96 98 00 	lock xacquire xorq \$0x989680,\(%rcx\)
    181 [ 	]*[a-f0-9]+:	f0 f3 48 81 31 80 96 98 00 	lock xrelease xorq \$0x989680,\(%rcx\)
    182 [ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%rcx\)
    183 [ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%rcx\)
    184 [ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%rcx\)
    185 [ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%rcx\)
    186 [ 	]*[a-f0-9]+:	f0 f2 66 83 11 64    	lock xacquire adcw \$0x64,\(%rcx\)
    187 [ 	]*[a-f0-9]+:	f0 f3 66 83 11 64    	lock xrelease adcw \$0x64,\(%rcx\)
    188 [ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%rcx\)
    189 [ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%rcx\)
    190 [ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%rcx\)
    191 [ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%rcx\)
    192 [ 	]*[a-f0-9]+:	f0 f2 66 83 01 64    	lock xacquire addw \$0x64,\(%rcx\)
    193 [ 	]*[a-f0-9]+:	f0 f3 66 83 01 64    	lock xrelease addw \$0x64,\(%rcx\)
    194 [ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%rcx\)
    195 [ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%rcx\)
    196 [ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%rcx\)
    197 [ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%rcx\)
    198 [ 	]*[a-f0-9]+:	f0 f2 66 83 21 64    	lock xacquire andw \$0x64,\(%rcx\)
    199 [ 	]*[a-f0-9]+:	f0 f3 66 83 21 64    	lock xrelease andw \$0x64,\(%rcx\)
    200 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%rcx\)
    201 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%rcx\)
    202 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%rcx\)
    203 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%rcx\)
    204 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 39 64 	lock xacquire btcw \$0x64,\(%rcx\)
    205 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 39 64 	lock xrelease btcw \$0x64,\(%rcx\)
    206 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%rcx\)
    207 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%rcx\)
    208 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%rcx\)
    209 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%rcx\)
    210 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 31 64 	lock xacquire btrw \$0x64,\(%rcx\)
    211 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 31 64 	lock xrelease btrw \$0x64,\(%rcx\)
    212 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%rcx\)
    213 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%rcx\)
    214 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%rcx\)
    215 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%rcx\)
    216 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 29 64 	lock xacquire btsw \$0x64,\(%rcx\)
    217 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 29 64 	lock xrelease btsw \$0x64,\(%rcx\)
    218 [ 	]*[a-f0-9]+:	66 f3 c7 01 64 00    	xrelease movw \$0x64,\(%rcx\)
    219 [ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%rcx\)
    220 [ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%rcx\)
    221 [ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%rcx\)
    222 [ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%rcx\)
    223 [ 	]*[a-f0-9]+:	f0 f2 66 83 09 64    	lock xacquire orw \$0x64,\(%rcx\)
    224 [ 	]*[a-f0-9]+:	f0 f3 66 83 09 64    	lock xrelease orw \$0x64,\(%rcx\)
    225 [ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%rcx\)
    226 [ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%rcx\)
    227 [ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%rcx\)
    228 [ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%rcx\)
    229 [ 	]*[a-f0-9]+:	f0 f2 66 83 19 64    	lock xacquire sbbw \$0x64,\(%rcx\)
    230 [ 	]*[a-f0-9]+:	f0 f3 66 83 19 64    	lock xrelease sbbw \$0x64,\(%rcx\)
    231 [ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%rcx\)
    232 [ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%rcx\)
    233 [ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%rcx\)
    234 [ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%rcx\)
    235 [ 	]*[a-f0-9]+:	f0 f2 66 83 29 64    	lock xacquire subw \$0x64,\(%rcx\)
    236 [ 	]*[a-f0-9]+:	f0 f3 66 83 29 64    	lock xrelease subw \$0x64,\(%rcx\)
    237 [ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%rcx\)
    238 [ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%rcx\)
    239 [ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%rcx\)
    240 [ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%rcx\)
    241 [ 	]*[a-f0-9]+:	f0 f2 66 83 31 64    	lock xacquire xorw \$0x64,\(%rcx\)
    242 [ 	]*[a-f0-9]+:	f0 f3 66 83 31 64    	lock xrelease xorw \$0x64,\(%rcx\)
    243 [ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%rcx\)
    244 [ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%rcx\)
    245 [ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%rcx\)
    246 [ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%rcx\)
    247 [ 	]*[a-f0-9]+:	f0 f2 83 11 64       	lock xacquire adcl \$0x64,\(%rcx\)
    248 [ 	]*[a-f0-9]+:	f0 f3 83 11 64       	lock xrelease adcl \$0x64,\(%rcx\)
    249 [ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%rcx\)
    250 [ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%rcx\)
    251 [ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%rcx\)
    252 [ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%rcx\)
    253 [ 	]*[a-f0-9]+:	f0 f2 83 01 64       	lock xacquire addl \$0x64,\(%rcx\)
    254 [ 	]*[a-f0-9]+:	f0 f3 83 01 64       	lock xrelease addl \$0x64,\(%rcx\)
    255 [ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%rcx\)
    256 [ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%rcx\)
    257 [ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%rcx\)
    258 [ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%rcx\)
    259 [ 	]*[a-f0-9]+:	f0 f2 83 21 64       	lock xacquire andl \$0x64,\(%rcx\)
    260 [ 	]*[a-f0-9]+:	f0 f3 83 21 64       	lock xrelease andl \$0x64,\(%rcx\)
    261 [ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%rcx\)
    262 [ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%rcx\)
    263 [ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%rcx\)
    264 [ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%rcx\)
    265 [ 	]*[a-f0-9]+:	f0 f2 0f ba 39 64    	lock xacquire btcl \$0x64,\(%rcx\)
    266 [ 	]*[a-f0-9]+:	f0 f3 0f ba 39 64    	lock xrelease btcl \$0x64,\(%rcx\)
    267 [ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%rcx\)
    268 [ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%rcx\)
    269 [ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%rcx\)
    270 [ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%rcx\)
    271 [ 	]*[a-f0-9]+:	f0 f2 0f ba 31 64    	lock xacquire btrl \$0x64,\(%rcx\)
    272 [ 	]*[a-f0-9]+:	f0 f3 0f ba 31 64    	lock xrelease btrl \$0x64,\(%rcx\)
    273 [ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%rcx\)
    274 [ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%rcx\)
    275 [ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%rcx\)
    276 [ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%rcx\)
    277 [ 	]*[a-f0-9]+:	f0 f2 0f ba 29 64    	lock xacquire btsl \$0x64,\(%rcx\)
    278 [ 	]*[a-f0-9]+:	f0 f3 0f ba 29 64    	lock xrelease btsl \$0x64,\(%rcx\)
    279 [ 	]*[a-f0-9]+:	f3 c7 01 64 00 00 00 	xrelease movl \$0x64,\(%rcx\)
    280 [ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%rcx\)
    281 [ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%rcx\)
    282 [ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%rcx\)
    283 [ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%rcx\)
    284 [ 	]*[a-f0-9]+:	f0 f2 83 09 64       	lock xacquire orl \$0x64,\(%rcx\)
    285 [ 	]*[a-f0-9]+:	f0 f3 83 09 64       	lock xrelease orl \$0x64,\(%rcx\)
    286 [ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%rcx\)
    287 [ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%rcx\)
    288 [ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%rcx\)
    289 [ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%rcx\)
    290 [ 	]*[a-f0-9]+:	f0 f2 83 19 64       	lock xacquire sbbl \$0x64,\(%rcx\)
    291 [ 	]*[a-f0-9]+:	f0 f3 83 19 64       	lock xrelease sbbl \$0x64,\(%rcx\)
    292 [ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%rcx\)
    293 [ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%rcx\)
    294 [ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%rcx\)
    295 [ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%rcx\)
    296 [ 	]*[a-f0-9]+:	f0 f2 83 29 64       	lock xacquire subl \$0x64,\(%rcx\)
    297 [ 	]*[a-f0-9]+:	f0 f3 83 29 64       	lock xrelease subl \$0x64,\(%rcx\)
    298 [ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%rcx\)
    299 [ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%rcx\)
    300 [ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%rcx\)
    301 [ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%rcx\)
    302 [ 	]*[a-f0-9]+:	f0 f2 83 31 64       	lock xacquire xorl \$0x64,\(%rcx\)
    303 [ 	]*[a-f0-9]+:	f0 f3 83 31 64       	lock xrelease xorl \$0x64,\(%rcx\)
    304 [ 	]*[a-f0-9]+:	f2 f0 48 83 11 64    	xacquire lock adcq \$0x64,\(%rcx\)
    305 [ 	]*[a-f0-9]+:	f2 f0 48 83 11 64    	xacquire lock adcq \$0x64,\(%rcx\)
    306 [ 	]*[a-f0-9]+:	f3 f0 48 83 11 64    	xrelease lock adcq \$0x64,\(%rcx\)
    307 [ 	]*[a-f0-9]+:	f3 f0 48 83 11 64    	xrelease lock adcq \$0x64,\(%rcx\)
    308 [ 	]*[a-f0-9]+:	f0 f2 48 83 11 64    	lock xacquire adcq \$0x64,\(%rcx\)
    309 [ 	]*[a-f0-9]+:	f0 f3 48 83 11 64    	lock xrelease adcq \$0x64,\(%rcx\)
    310 [ 	]*[a-f0-9]+:	f2 f0 48 83 01 64    	xacquire lock addq \$0x64,\(%rcx\)
    311 [ 	]*[a-f0-9]+:	f2 f0 48 83 01 64    	xacquire lock addq \$0x64,\(%rcx\)
    312 [ 	]*[a-f0-9]+:	f3 f0 48 83 01 64    	xrelease lock addq \$0x64,\(%rcx\)
    313 [ 	]*[a-f0-9]+:	f3 f0 48 83 01 64    	xrelease lock addq \$0x64,\(%rcx\)
    314 [ 	]*[a-f0-9]+:	f0 f2 48 83 01 64    	lock xacquire addq \$0x64,\(%rcx\)
    315 [ 	]*[a-f0-9]+:	f0 f3 48 83 01 64    	lock xrelease addq \$0x64,\(%rcx\)
    316 [ 	]*[a-f0-9]+:	f2 f0 48 83 21 64    	xacquire lock andq \$0x64,\(%rcx\)
    317 [ 	]*[a-f0-9]+:	f2 f0 48 83 21 64    	xacquire lock andq \$0x64,\(%rcx\)
    318 [ 	]*[a-f0-9]+:	f3 f0 48 83 21 64    	xrelease lock andq \$0x64,\(%rcx\)
    319 [ 	]*[a-f0-9]+:	f3 f0 48 83 21 64    	xrelease lock andq \$0x64,\(%rcx\)
    320 [ 	]*[a-f0-9]+:	f0 f2 48 83 21 64    	lock xacquire andq \$0x64,\(%rcx\)
    321 [ 	]*[a-f0-9]+:	f0 f3 48 83 21 64    	lock xrelease andq \$0x64,\(%rcx\)
    322 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 39 64 	xacquire lock btcq \$0x64,\(%rcx\)
    323 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 39 64 	xacquire lock btcq \$0x64,\(%rcx\)
    324 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 39 64 	xrelease lock btcq \$0x64,\(%rcx\)
    325 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 39 64 	xrelease lock btcq \$0x64,\(%rcx\)
    326 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 39 64 	lock xacquire btcq \$0x64,\(%rcx\)
    327 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 39 64 	lock xrelease btcq \$0x64,\(%rcx\)
    328 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 31 64 	xacquire lock btrq \$0x64,\(%rcx\)
    329 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 31 64 	xacquire lock btrq \$0x64,\(%rcx\)
    330 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 31 64 	xrelease lock btrq \$0x64,\(%rcx\)
    331 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 31 64 	xrelease lock btrq \$0x64,\(%rcx\)
    332 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 31 64 	lock xacquire btrq \$0x64,\(%rcx\)
    333 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 31 64 	lock xrelease btrq \$0x64,\(%rcx\)
    334 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 29 64 	xacquire lock btsq \$0x64,\(%rcx\)
    335 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 29 64 	xacquire lock btsq \$0x64,\(%rcx\)
    336 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 29 64 	xrelease lock btsq \$0x64,\(%rcx\)
    337 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 29 64 	xrelease lock btsq \$0x64,\(%rcx\)
    338 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 29 64 	lock xacquire btsq \$0x64,\(%rcx\)
    339 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 29 64 	lock xrelease btsq \$0x64,\(%rcx\)
    340 [ 	]*[a-f0-9]+:	f3 48 c7 01 64 00 00 00 	xrelease movq \$0x64,\(%rcx\)
    341 [ 	]*[a-f0-9]+:	f2 f0 48 83 09 64    	xacquire lock orq \$0x64,\(%rcx\)
    342 [ 	]*[a-f0-9]+:	f2 f0 48 83 09 64    	xacquire lock orq \$0x64,\(%rcx\)
    343 [ 	]*[a-f0-9]+:	f3 f0 48 83 09 64    	xrelease lock orq \$0x64,\(%rcx\)
    344 [ 	]*[a-f0-9]+:	f3 f0 48 83 09 64    	xrelease lock orq \$0x64,\(%rcx\)
    345 [ 	]*[a-f0-9]+:	f0 f2 48 83 09 64    	lock xacquire orq \$0x64,\(%rcx\)
    346 [ 	]*[a-f0-9]+:	f0 f3 48 83 09 64    	lock xrelease orq \$0x64,\(%rcx\)
    347 [ 	]*[a-f0-9]+:	f2 f0 48 83 19 64    	xacquire lock sbbq \$0x64,\(%rcx\)
    348 [ 	]*[a-f0-9]+:	f2 f0 48 83 19 64    	xacquire lock sbbq \$0x64,\(%rcx\)
    349 [ 	]*[a-f0-9]+:	f3 f0 48 83 19 64    	xrelease lock sbbq \$0x64,\(%rcx\)
    350 [ 	]*[a-f0-9]+:	f3 f0 48 83 19 64    	xrelease lock sbbq \$0x64,\(%rcx\)
    351 [ 	]*[a-f0-9]+:	f0 f2 48 83 19 64    	lock xacquire sbbq \$0x64,\(%rcx\)
    352 [ 	]*[a-f0-9]+:	f0 f3 48 83 19 64    	lock xrelease sbbq \$0x64,\(%rcx\)
    353 [ 	]*[a-f0-9]+:	f2 f0 48 83 29 64    	xacquire lock subq \$0x64,\(%rcx\)
    354 [ 	]*[a-f0-9]+:	f2 f0 48 83 29 64    	xacquire lock subq \$0x64,\(%rcx\)
    355 [ 	]*[a-f0-9]+:	f3 f0 48 83 29 64    	xrelease lock subq \$0x64,\(%rcx\)
    356 [ 	]*[a-f0-9]+:	f3 f0 48 83 29 64    	xrelease lock subq \$0x64,\(%rcx\)
    357 [ 	]*[a-f0-9]+:	f0 f2 48 83 29 64    	lock xacquire subq \$0x64,\(%rcx\)
    358 [ 	]*[a-f0-9]+:	f0 f3 48 83 29 64    	lock xrelease subq \$0x64,\(%rcx\)
    359 [ 	]*[a-f0-9]+:	f2 f0 48 83 31 64    	xacquire lock xorq \$0x64,\(%rcx\)
    360 [ 	]*[a-f0-9]+:	f2 f0 48 83 31 64    	xacquire lock xorq \$0x64,\(%rcx\)
    361 [ 	]*[a-f0-9]+:	f3 f0 48 83 31 64    	xrelease lock xorq \$0x64,\(%rcx\)
    362 [ 	]*[a-f0-9]+:	f3 f0 48 83 31 64    	xrelease lock xorq \$0x64,\(%rcx\)
    363 [ 	]*[a-f0-9]+:	f0 f2 48 83 31 64    	lock xacquire xorq \$0x64,\(%rcx\)
    364 [ 	]*[a-f0-9]+:	f0 f3 48 83 31 64    	lock xrelease xorq \$0x64,\(%rcx\)
    365 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
    366 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
    367 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
    368 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
    369 [ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%rcx\)
    370 [ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%rcx\)
    371 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
    372 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
    373 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
    374 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
    375 [ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%rcx\)
    376 [ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%rcx\)
    377 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
    378 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
    379 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
    380 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
    381 [ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%rcx\)
    382 [ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%rcx\)
    383 [ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%rcx\)
    384 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
    385 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
    386 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
    387 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
    388 [ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%rcx\)
    389 [ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%rcx\)
    390 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
    391 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
    392 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
    393 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
    394 [ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%rcx\)
    395 [ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%rcx\)
    396 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
    397 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
    398 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
    399 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
    400 [ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%rcx\)
    401 [ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%rcx\)
    402 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
    403 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
    404 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
    405 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
    406 [ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%rcx\)
    407 [ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%rcx\)
    408 [ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%rcx\)
    409 [ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%rcx\)
    410 [ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%rcx\)
    411 [ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%rcx\)
    412 [ 	]*[a-f0-9]+:	f0 f2 10 01          	lock xacquire adc %al,\(%rcx\)
    413 [ 	]*[a-f0-9]+:	f0 f3 10 01          	lock xrelease adc %al,\(%rcx\)
    414 [ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%rcx\)
    415 [ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%rcx\)
    416 [ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%rcx\)
    417 [ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%rcx\)
    418 [ 	]*[a-f0-9]+:	f0 f2 00 01          	lock xacquire add %al,\(%rcx\)
    419 [ 	]*[a-f0-9]+:	f0 f3 00 01          	lock xrelease add %al,\(%rcx\)
    420 [ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%rcx\)
    421 [ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%rcx\)
    422 [ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%rcx\)
    423 [ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%rcx\)
    424 [ 	]*[a-f0-9]+:	f0 f2 20 01          	lock xacquire and %al,\(%rcx\)
    425 [ 	]*[a-f0-9]+:	f0 f3 20 01          	lock xrelease and %al,\(%rcx\)
    426 [ 	]*[a-f0-9]+:	f3 88 01             	xrelease mov %al,\(%rcx\)
    427 [ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%rcx\)
    428 [ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%rcx\)
    429 [ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%rcx\)
    430 [ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%rcx\)
    431 [ 	]*[a-f0-9]+:	f0 f2 08 01          	lock xacquire or %al,\(%rcx\)
    432 [ 	]*[a-f0-9]+:	f0 f3 08 01          	lock xrelease or %al,\(%rcx\)
    433 [ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%rcx\)
    434 [ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%rcx\)
    435 [ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%rcx\)
    436 [ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%rcx\)
    437 [ 	]*[a-f0-9]+:	f0 f2 18 01          	lock xacquire sbb %al,\(%rcx\)
    438 [ 	]*[a-f0-9]+:	f0 f3 18 01          	lock xrelease sbb %al,\(%rcx\)
    439 [ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%rcx\)
    440 [ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%rcx\)
    441 [ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%rcx\)
    442 [ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%rcx\)
    443 [ 	]*[a-f0-9]+:	f0 f2 28 01          	lock xacquire sub %al,\(%rcx\)
    444 [ 	]*[a-f0-9]+:	f0 f3 28 01          	lock xrelease sub %al,\(%rcx\)
    445 [ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%rcx\)
    446 [ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%rcx\)
    447 [ 	]*[a-f0-9]+:	f2 86 01             	xacquire xchg %al,\(%rcx\)
    448 [ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%rcx\)
    449 [ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%rcx\)
    450 [ 	]*[a-f0-9]+:	f3 86 01             	xrelease xchg %al,\(%rcx\)
    451 [ 	]*[a-f0-9]+:	f0 f2 86 01          	lock xacquire xchg %al,\(%rcx\)
    452 [ 	]*[a-f0-9]+:	f0 f3 86 01          	lock xrelease xchg %al,\(%rcx\)
    453 [ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%rcx\)
    454 [ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%rcx\)
    455 [ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%rcx\)
    456 [ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%rcx\)
    457 [ 	]*[a-f0-9]+:	f0 f2 30 01          	lock xacquire xor %al,\(%rcx\)
    458 [ 	]*[a-f0-9]+:	f0 f3 30 01          	lock xrelease xor %al,\(%rcx\)
    459 [ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%rcx\)
    460 [ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%rcx\)
    461 [ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%rcx\)
    462 [ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%rcx\)
    463 [ 	]*[a-f0-9]+:	f0 f2 66 11 01       	lock xacquire adc %ax,\(%rcx\)
    464 [ 	]*[a-f0-9]+:	f0 f3 66 11 01       	lock xrelease adc %ax,\(%rcx\)
    465 [ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%rcx\)
    466 [ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%rcx\)
    467 [ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%rcx\)
    468 [ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%rcx\)
    469 [ 	]*[a-f0-9]+:	f0 f2 66 01 01       	lock xacquire add %ax,\(%rcx\)
    470 [ 	]*[a-f0-9]+:	f0 f3 66 01 01       	lock xrelease add %ax,\(%rcx\)
    471 [ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%rcx\)
    472 [ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%rcx\)
    473 [ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%rcx\)
    474 [ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%rcx\)
    475 [ 	]*[a-f0-9]+:	f0 f2 66 21 01       	lock xacquire and %ax,\(%rcx\)
    476 [ 	]*[a-f0-9]+:	f0 f3 66 21 01       	lock xrelease and %ax,\(%rcx\)
    477 [ 	]*[a-f0-9]+:	66 f3 89 01          	xrelease mov %ax,\(%rcx\)
    478 [ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%rcx\)
    479 [ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%rcx\)
    480 [ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%rcx\)
    481 [ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%rcx\)
    482 [ 	]*[a-f0-9]+:	f0 f2 66 09 01       	lock xacquire or %ax,\(%rcx\)
    483 [ 	]*[a-f0-9]+:	f0 f3 66 09 01       	lock xrelease or %ax,\(%rcx\)
    484 [ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%rcx\)
    485 [ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%rcx\)
    486 [ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%rcx\)
    487 [ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%rcx\)
    488 [ 	]*[a-f0-9]+:	f0 f2 66 19 01       	lock xacquire sbb %ax,\(%rcx\)
    489 [ 	]*[a-f0-9]+:	f0 f3 66 19 01       	lock xrelease sbb %ax,\(%rcx\)
    490 [ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%rcx\)
    491 [ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%rcx\)
    492 [ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%rcx\)
    493 [ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%rcx\)
    494 [ 	]*[a-f0-9]+:	f0 f2 66 29 01       	lock xacquire sub %ax,\(%rcx\)
    495 [ 	]*[a-f0-9]+:	f0 f3 66 29 01       	lock xrelease sub %ax,\(%rcx\)
    496 [ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%rcx\)
    497 [ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%rcx\)
    498 [ 	]*[a-f0-9]+:	66 f2 87 01          	xacquire xchg %ax,\(%rcx\)
    499 [ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%rcx\)
    500 [ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%rcx\)
    501 [ 	]*[a-f0-9]+:	66 f3 87 01          	xrelease xchg %ax,\(%rcx\)
    502 [ 	]*[a-f0-9]+:	f0 f2 66 87 01       	lock xacquire xchg %ax,\(%rcx\)
    503 [ 	]*[a-f0-9]+:	f0 f3 66 87 01       	lock xrelease xchg %ax,\(%rcx\)
    504 [ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%rcx\)
    505 [ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%rcx\)
    506 [ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%rcx\)
    507 [ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%rcx\)
    508 [ 	]*[a-f0-9]+:	f0 f2 66 31 01       	lock xacquire xor %ax,\(%rcx\)
    509 [ 	]*[a-f0-9]+:	f0 f3 66 31 01       	lock xrelease xor %ax,\(%rcx\)
    510 [ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%rcx\)
    511 [ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%rcx\)
    512 [ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%rcx\)
    513 [ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%rcx\)
    514 [ 	]*[a-f0-9]+:	f0 f2 11 01          	lock xacquire adc %eax,\(%rcx\)
    515 [ 	]*[a-f0-9]+:	f0 f3 11 01          	lock xrelease adc %eax,\(%rcx\)
    516 [ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%rcx\)
    517 [ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%rcx\)
    518 [ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%rcx\)
    519 [ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%rcx\)
    520 [ 	]*[a-f0-9]+:	f0 f2 01 01          	lock xacquire add %eax,\(%rcx\)
    521 [ 	]*[a-f0-9]+:	f0 f3 01 01          	lock xrelease add %eax,\(%rcx\)
    522 [ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%rcx\)
    523 [ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%rcx\)
    524 [ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%rcx\)
    525 [ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%rcx\)
    526 [ 	]*[a-f0-9]+:	f0 f2 21 01          	lock xacquire and %eax,\(%rcx\)
    527 [ 	]*[a-f0-9]+:	f0 f3 21 01          	lock xrelease and %eax,\(%rcx\)
    528 [ 	]*[a-f0-9]+:	f3 89 01             	xrelease mov %eax,\(%rcx\)
    529 [ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%rcx\)
    530 [ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%rcx\)
    531 [ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%rcx\)
    532 [ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%rcx\)
    533 [ 	]*[a-f0-9]+:	f0 f2 09 01          	lock xacquire or %eax,\(%rcx\)
    534 [ 	]*[a-f0-9]+:	f0 f3 09 01          	lock xrelease or %eax,\(%rcx\)
    535 [ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%rcx\)
    536 [ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%rcx\)
    537 [ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%rcx\)
    538 [ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%rcx\)
    539 [ 	]*[a-f0-9]+:	f0 f2 19 01          	lock xacquire sbb %eax,\(%rcx\)
    540 [ 	]*[a-f0-9]+:	f0 f3 19 01          	lock xrelease sbb %eax,\(%rcx\)
    541 [ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%rcx\)
    542 [ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%rcx\)
    543 [ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%rcx\)
    544 [ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%rcx\)
    545 [ 	]*[a-f0-9]+:	f0 f2 29 01          	lock xacquire sub %eax,\(%rcx\)
    546 [ 	]*[a-f0-9]+:	f0 f3 29 01          	lock xrelease sub %eax,\(%rcx\)
    547 [ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%rcx\)
    548 [ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%rcx\)
    549 [ 	]*[a-f0-9]+:	f2 87 01             	xacquire xchg %eax,\(%rcx\)
    550 [ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%rcx\)
    551 [ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%rcx\)
    552 [ 	]*[a-f0-9]+:	f3 87 01             	xrelease xchg %eax,\(%rcx\)
    553 [ 	]*[a-f0-9]+:	f0 f2 87 01          	lock xacquire xchg %eax,\(%rcx\)
    554 [ 	]*[a-f0-9]+:	f0 f3 87 01          	lock xrelease xchg %eax,\(%rcx\)
    555 [ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%rcx\)
    556 [ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%rcx\)
    557 [ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%rcx\)
    558 [ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%rcx\)
    559 [ 	]*[a-f0-9]+:	f0 f2 31 01          	lock xacquire xor %eax,\(%rcx\)
    560 [ 	]*[a-f0-9]+:	f0 f3 31 01          	lock xrelease xor %eax,\(%rcx\)
    561 [ 	]*[a-f0-9]+:	f2 f0 48 11 01       	xacquire lock adc %rax,\(%rcx\)
    562 [ 	]*[a-f0-9]+:	f2 f0 48 11 01       	xacquire lock adc %rax,\(%rcx\)
    563 [ 	]*[a-f0-9]+:	f3 f0 48 11 01       	xrelease lock adc %rax,\(%rcx\)
    564 [ 	]*[a-f0-9]+:	f3 f0 48 11 01       	xrelease lock adc %rax,\(%rcx\)
    565 [ 	]*[a-f0-9]+:	f0 f2 48 11 01       	lock xacquire adc %rax,\(%rcx\)
    566 [ 	]*[a-f0-9]+:	f0 f3 48 11 01       	lock xrelease adc %rax,\(%rcx\)
    567 [ 	]*[a-f0-9]+:	f2 f0 48 01 01       	xacquire lock add %rax,\(%rcx\)
    568 [ 	]*[a-f0-9]+:	f2 f0 48 01 01       	xacquire lock add %rax,\(%rcx\)
    569 [ 	]*[a-f0-9]+:	f3 f0 48 01 01       	xrelease lock add %rax,\(%rcx\)
    570 [ 	]*[a-f0-9]+:	f3 f0 48 01 01       	xrelease lock add %rax,\(%rcx\)
    571 [ 	]*[a-f0-9]+:	f0 f2 48 01 01       	lock xacquire add %rax,\(%rcx\)
    572 [ 	]*[a-f0-9]+:	f0 f3 48 01 01       	lock xrelease add %rax,\(%rcx\)
    573 [ 	]*[a-f0-9]+:	f2 f0 48 21 01       	xacquire lock and %rax,\(%rcx\)
    574 [ 	]*[a-f0-9]+:	f2 f0 48 21 01       	xacquire lock and %rax,\(%rcx\)
    575 [ 	]*[a-f0-9]+:	f3 f0 48 21 01       	xrelease lock and %rax,\(%rcx\)
    576 [ 	]*[a-f0-9]+:	f3 f0 48 21 01       	xrelease lock and %rax,\(%rcx\)
    577 [ 	]*[a-f0-9]+:	f0 f2 48 21 01       	lock xacquire and %rax,\(%rcx\)
    578 [ 	]*[a-f0-9]+:	f0 f3 48 21 01       	lock xrelease and %rax,\(%rcx\)
    579 [ 	]*[a-f0-9]+:	f3 48 89 01          	xrelease mov %rax,\(%rcx\)
    580 [ 	]*[a-f0-9]+:	f2 f0 48 09 01       	xacquire lock or %rax,\(%rcx\)
    581 [ 	]*[a-f0-9]+:	f2 f0 48 09 01       	xacquire lock or %rax,\(%rcx\)
    582 [ 	]*[a-f0-9]+:	f3 f0 48 09 01       	xrelease lock or %rax,\(%rcx\)
    583 [ 	]*[a-f0-9]+:	f3 f0 48 09 01       	xrelease lock or %rax,\(%rcx\)
    584 [ 	]*[a-f0-9]+:	f0 f2 48 09 01       	lock xacquire or %rax,\(%rcx\)
    585 [ 	]*[a-f0-9]+:	f0 f3 48 09 01       	lock xrelease or %rax,\(%rcx\)
    586 [ 	]*[a-f0-9]+:	f2 f0 48 19 01       	xacquire lock sbb %rax,\(%rcx\)
    587 [ 	]*[a-f0-9]+:	f2 f0 48 19 01       	xacquire lock sbb %rax,\(%rcx\)
    588 [ 	]*[a-f0-9]+:	f3 f0 48 19 01       	xrelease lock sbb %rax,\(%rcx\)
    589 [ 	]*[a-f0-9]+:	f3 f0 48 19 01       	xrelease lock sbb %rax,\(%rcx\)
    590 [ 	]*[a-f0-9]+:	f0 f2 48 19 01       	lock xacquire sbb %rax,\(%rcx\)
    591 [ 	]*[a-f0-9]+:	f0 f3 48 19 01       	lock xrelease sbb %rax,\(%rcx\)
    592 [ 	]*[a-f0-9]+:	f2 f0 48 29 01       	xacquire lock sub %rax,\(%rcx\)
    593 [ 	]*[a-f0-9]+:	f2 f0 48 29 01       	xacquire lock sub %rax,\(%rcx\)
    594 [ 	]*[a-f0-9]+:	f3 f0 48 29 01       	xrelease lock sub %rax,\(%rcx\)
    595 [ 	]*[a-f0-9]+:	f3 f0 48 29 01       	xrelease lock sub %rax,\(%rcx\)
    596 [ 	]*[a-f0-9]+:	f0 f2 48 29 01       	lock xacquire sub %rax,\(%rcx\)
    597 [ 	]*[a-f0-9]+:	f0 f3 48 29 01       	lock xrelease sub %rax,\(%rcx\)
    598 [ 	]*[a-f0-9]+:	f2 f0 48 87 01       	xacquire lock xchg %rax,\(%rcx\)
    599 [ 	]*[a-f0-9]+:	f2 f0 48 87 01       	xacquire lock xchg %rax,\(%rcx\)
    600 [ 	]*[a-f0-9]+:	f2 48 87 01          	xacquire xchg %rax,\(%rcx\)
    601 [ 	]*[a-f0-9]+:	f3 f0 48 87 01       	xrelease lock xchg %rax,\(%rcx\)
    602 [ 	]*[a-f0-9]+:	f3 f0 48 87 01       	xrelease lock xchg %rax,\(%rcx\)
    603 [ 	]*[a-f0-9]+:	f3 48 87 01          	xrelease xchg %rax,\(%rcx\)
    604 [ 	]*[a-f0-9]+:	f0 f2 48 87 01       	lock xacquire xchg %rax,\(%rcx\)
    605 [ 	]*[a-f0-9]+:	f0 f3 48 87 01       	lock xrelease xchg %rax,\(%rcx\)
    606 [ 	]*[a-f0-9]+:	f2 f0 48 31 01       	xacquire lock xor %rax,\(%rcx\)
    607 [ 	]*[a-f0-9]+:	f2 f0 48 31 01       	xacquire lock xor %rax,\(%rcx\)
    608 [ 	]*[a-f0-9]+:	f3 f0 48 31 01       	xrelease lock xor %rax,\(%rcx\)
    609 [ 	]*[a-f0-9]+:	f3 f0 48 31 01       	xrelease lock xor %rax,\(%rcx\)
    610 [ 	]*[a-f0-9]+:	f0 f2 48 31 01       	lock xacquire xor %rax,\(%rcx\)
    611 [ 	]*[a-f0-9]+:	f0 f3 48 31 01       	lock xrelease xor %rax,\(%rcx\)
    612 [ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%rcx\)
    613 [ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%rcx\)
    614 [ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%rcx\)
    615 [ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%rcx\)
    616 [ 	]*[a-f0-9]+:	f0 f2 66 0f bb 01    	lock xacquire btc %ax,\(%rcx\)
    617 [ 	]*[a-f0-9]+:	f0 f3 66 0f bb 01    	lock xrelease btc %ax,\(%rcx\)
    618 [ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%rcx\)
    619 [ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%rcx\)
    620 [ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%rcx\)
    621 [ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%rcx\)
    622 [ 	]*[a-f0-9]+:	f0 f2 66 0f b3 01    	lock xacquire btr %ax,\(%rcx\)
    623 [ 	]*[a-f0-9]+:	f0 f3 66 0f b3 01    	lock xrelease btr %ax,\(%rcx\)
    624 [ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%rcx\)
    625 [ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%rcx\)
    626 [ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%rcx\)
    627 [ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%rcx\)
    628 [ 	]*[a-f0-9]+:	f0 f2 66 0f ab 01    	lock xacquire bts %ax,\(%rcx\)
    629 [ 	]*[a-f0-9]+:	f0 f3 66 0f ab 01    	lock xrelease bts %ax,\(%rcx\)
    630 [ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%rcx\)
    631 [ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%rcx\)
    632 [ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%rcx\)
    633 [ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%rcx\)
    634 [ 	]*[a-f0-9]+:	f0 f2 66 0f b1 01    	lock xacquire cmpxchg %ax,\(%rcx\)
    635 [ 	]*[a-f0-9]+:	f0 f3 66 0f b1 01    	lock xrelease cmpxchg %ax,\(%rcx\)
    636 [ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%rcx\)
    637 [ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%rcx\)
    638 [ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%rcx\)
    639 [ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%rcx\)
    640 [ 	]*[a-f0-9]+:	f0 f2 66 0f c1 01    	lock xacquire xadd %ax,\(%rcx\)
    641 [ 	]*[a-f0-9]+:	f0 f3 66 0f c1 01    	lock xrelease xadd %ax,\(%rcx\)
    642 [ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%rcx\)
    643 [ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%rcx\)
    644 [ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%rcx\)
    645 [ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%rcx\)
    646 [ 	]*[a-f0-9]+:	f0 f2 0f bb 01       	lock xacquire btc %eax,\(%rcx\)
    647 [ 	]*[a-f0-9]+:	f0 f3 0f bb 01       	lock xrelease btc %eax,\(%rcx\)
    648 [ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%rcx\)
    649 [ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%rcx\)
    650 [ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%rcx\)
    651 [ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%rcx\)
    652 [ 	]*[a-f0-9]+:	f0 f2 0f b3 01       	lock xacquire btr %eax,\(%rcx\)
    653 [ 	]*[a-f0-9]+:	f0 f3 0f b3 01       	lock xrelease btr %eax,\(%rcx\)
    654 [ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%rcx\)
    655 [ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%rcx\)
    656 [ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%rcx\)
    657 [ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%rcx\)
    658 [ 	]*[a-f0-9]+:	f0 f2 0f ab 01       	lock xacquire bts %eax,\(%rcx\)
    659 [ 	]*[a-f0-9]+:	f0 f3 0f ab 01       	lock xrelease bts %eax,\(%rcx\)
    660 [ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%rcx\)
    661 [ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%rcx\)
    662 [ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%rcx\)
    663 [ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%rcx\)
    664 [ 	]*[a-f0-9]+:	f0 f2 0f b1 01       	lock xacquire cmpxchg %eax,\(%rcx\)
    665 [ 	]*[a-f0-9]+:	f0 f3 0f b1 01       	lock xrelease cmpxchg %eax,\(%rcx\)
    666 [ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%rcx\)
    667 [ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%rcx\)
    668 [ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%rcx\)
    669 [ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%rcx\)
    670 [ 	]*[a-f0-9]+:	f0 f2 0f c1 01       	lock xacquire xadd %eax,\(%rcx\)
    671 [ 	]*[a-f0-9]+:	f0 f3 0f c1 01       	lock xrelease xadd %eax,\(%rcx\)
    672 [ 	]*[a-f0-9]+:	f2 f0 48 0f bb 01    	xacquire lock btc %rax,\(%rcx\)
    673 [ 	]*[a-f0-9]+:	f2 f0 48 0f bb 01    	xacquire lock btc %rax,\(%rcx\)
    674 [ 	]*[a-f0-9]+:	f3 f0 48 0f bb 01    	xrelease lock btc %rax,\(%rcx\)
    675 [ 	]*[a-f0-9]+:	f3 f0 48 0f bb 01    	xrelease lock btc %rax,\(%rcx\)
    676 [ 	]*[a-f0-9]+:	f0 f2 48 0f bb 01    	lock xacquire btc %rax,\(%rcx\)
    677 [ 	]*[a-f0-9]+:	f0 f3 48 0f bb 01    	lock xrelease btc %rax,\(%rcx\)
    678 [ 	]*[a-f0-9]+:	f2 f0 48 0f b3 01    	xacquire lock btr %rax,\(%rcx\)
    679 [ 	]*[a-f0-9]+:	f2 f0 48 0f b3 01    	xacquire lock btr %rax,\(%rcx\)
    680 [ 	]*[a-f0-9]+:	f3 f0 48 0f b3 01    	xrelease lock btr %rax,\(%rcx\)
    681 [ 	]*[a-f0-9]+:	f3 f0 48 0f b3 01    	xrelease lock btr %rax,\(%rcx\)
    682 [ 	]*[a-f0-9]+:	f0 f2 48 0f b3 01    	lock xacquire btr %rax,\(%rcx\)
    683 [ 	]*[a-f0-9]+:	f0 f3 48 0f b3 01    	lock xrelease btr %rax,\(%rcx\)
    684 [ 	]*[a-f0-9]+:	f2 f0 48 0f ab 01    	xacquire lock bts %rax,\(%rcx\)
    685 [ 	]*[a-f0-9]+:	f2 f0 48 0f ab 01    	xacquire lock bts %rax,\(%rcx\)
    686 [ 	]*[a-f0-9]+:	f3 f0 48 0f ab 01    	xrelease lock bts %rax,\(%rcx\)
    687 [ 	]*[a-f0-9]+:	f3 f0 48 0f ab 01    	xrelease lock bts %rax,\(%rcx\)
    688 [ 	]*[a-f0-9]+:	f0 f2 48 0f ab 01    	lock xacquire bts %rax,\(%rcx\)
    689 [ 	]*[a-f0-9]+:	f0 f3 48 0f ab 01    	lock xrelease bts %rax,\(%rcx\)
    690 [ 	]*[a-f0-9]+:	f2 f0 48 0f b1 01    	xacquire lock cmpxchg %rax,\(%rcx\)
    691 [ 	]*[a-f0-9]+:	f2 f0 48 0f b1 01    	xacquire lock cmpxchg %rax,\(%rcx\)
    692 [ 	]*[a-f0-9]+:	f3 f0 48 0f b1 01    	xrelease lock cmpxchg %rax,\(%rcx\)
    693 [ 	]*[a-f0-9]+:	f3 f0 48 0f b1 01    	xrelease lock cmpxchg %rax,\(%rcx\)
    694 [ 	]*[a-f0-9]+:	f0 f2 48 0f b1 01    	lock xacquire cmpxchg %rax,\(%rcx\)
    695 [ 	]*[a-f0-9]+:	f0 f3 48 0f b1 01    	lock xrelease cmpxchg %rax,\(%rcx\)
    696 [ 	]*[a-f0-9]+:	f2 f0 48 0f c1 01    	xacquire lock xadd %rax,\(%rcx\)
    697 [ 	]*[a-f0-9]+:	f2 f0 48 0f c1 01    	xacquire lock xadd %rax,\(%rcx\)
    698 [ 	]*[a-f0-9]+:	f3 f0 48 0f c1 01    	xrelease lock xadd %rax,\(%rcx\)
    699 [ 	]*[a-f0-9]+:	f3 f0 48 0f c1 01    	xrelease lock xadd %rax,\(%rcx\)
    700 [ 	]*[a-f0-9]+:	f0 f2 48 0f c1 01    	lock xacquire xadd %rax,\(%rcx\)
    701 [ 	]*[a-f0-9]+:	f0 f3 48 0f c1 01    	lock xrelease xadd %rax,\(%rcx\)
    702 [ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%rcx\)
    703 [ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%rcx\)
    704 [ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%rcx\)
    705 [ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%rcx\)
    706 [ 	]*[a-f0-9]+:	f0 f2 fe 09          	lock xacquire decb \(%rcx\)
    707 [ 	]*[a-f0-9]+:	f0 f3 fe 09          	lock xrelease decb \(%rcx\)
    708 [ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%rcx\)
    709 [ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%rcx\)
    710 [ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%rcx\)
    711 [ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%rcx\)
    712 [ 	]*[a-f0-9]+:	f0 f2 fe 01          	lock xacquire incb \(%rcx\)
    713 [ 	]*[a-f0-9]+:	f0 f3 fe 01          	lock xrelease incb \(%rcx\)
    714 [ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%rcx\)
    715 [ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%rcx\)
    716 [ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%rcx\)
    717 [ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%rcx\)
    718 [ 	]*[a-f0-9]+:	f0 f2 f6 19          	lock xacquire negb \(%rcx\)
    719 [ 	]*[a-f0-9]+:	f0 f3 f6 19          	lock xrelease negb \(%rcx\)
    720 [ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%rcx\)
    721 [ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%rcx\)
    722 [ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%rcx\)
    723 [ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%rcx\)
    724 [ 	]*[a-f0-9]+:	f0 f2 f6 11          	lock xacquire notb \(%rcx\)
    725 [ 	]*[a-f0-9]+:	f0 f3 f6 11          	lock xrelease notb \(%rcx\)
    726 [ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%rcx\)
    727 [ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%rcx\)
    728 [ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%rcx\)
    729 [ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%rcx\)
    730 [ 	]*[a-f0-9]+:	f0 f2 66 ff 09       	lock xacquire decw \(%rcx\)
    731 [ 	]*[a-f0-9]+:	f0 f3 66 ff 09       	lock xrelease decw \(%rcx\)
    732 [ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%rcx\)
    733 [ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%rcx\)
    734 [ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%rcx\)
    735 [ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%rcx\)
    736 [ 	]*[a-f0-9]+:	f0 f2 66 ff 01       	lock xacquire incw \(%rcx\)
    737 [ 	]*[a-f0-9]+:	f0 f3 66 ff 01       	lock xrelease incw \(%rcx\)
    738 [ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%rcx\)
    739 [ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%rcx\)
    740 [ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%rcx\)
    741 [ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%rcx\)
    742 [ 	]*[a-f0-9]+:	f0 f2 66 f7 19       	lock xacquire negw \(%rcx\)
    743 [ 	]*[a-f0-9]+:	f0 f3 66 f7 19       	lock xrelease negw \(%rcx\)
    744 [ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%rcx\)
    745 [ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%rcx\)
    746 [ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%rcx\)
    747 [ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%rcx\)
    748 [ 	]*[a-f0-9]+:	f0 f2 66 f7 11       	lock xacquire notw \(%rcx\)
    749 [ 	]*[a-f0-9]+:	f0 f3 66 f7 11       	lock xrelease notw \(%rcx\)
    750 [ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%rcx\)
    751 [ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%rcx\)
    752 [ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%rcx\)
    753 [ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%rcx\)
    754 [ 	]*[a-f0-9]+:	f0 f2 ff 09          	lock xacquire decl \(%rcx\)
    755 [ 	]*[a-f0-9]+:	f0 f3 ff 09          	lock xrelease decl \(%rcx\)
    756 [ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%rcx\)
    757 [ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%rcx\)
    758 [ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%rcx\)
    759 [ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%rcx\)
    760 [ 	]*[a-f0-9]+:	f0 f2 ff 01          	lock xacquire incl \(%rcx\)
    761 [ 	]*[a-f0-9]+:	f0 f3 ff 01          	lock xrelease incl \(%rcx\)
    762 [ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%rcx\)
    763 [ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%rcx\)
    764 [ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%rcx\)
    765 [ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%rcx\)
    766 [ 	]*[a-f0-9]+:	f0 f2 f7 19          	lock xacquire negl \(%rcx\)
    767 [ 	]*[a-f0-9]+:	f0 f3 f7 19          	lock xrelease negl \(%rcx\)
    768 [ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%rcx\)
    769 [ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%rcx\)
    770 [ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%rcx\)
    771 [ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%rcx\)
    772 [ 	]*[a-f0-9]+:	f0 f2 f7 11          	lock xacquire notl \(%rcx\)
    773 [ 	]*[a-f0-9]+:	f0 f3 f7 11          	lock xrelease notl \(%rcx\)
    774 [ 	]*[a-f0-9]+:	f2 f0 48 ff 09       	xacquire lock decq \(%rcx\)
    775 [ 	]*[a-f0-9]+:	f2 f0 48 ff 09       	xacquire lock decq \(%rcx\)
    776 [ 	]*[a-f0-9]+:	f3 f0 48 ff 09       	xrelease lock decq \(%rcx\)
    777 [ 	]*[a-f0-9]+:	f3 f0 48 ff 09       	xrelease lock decq \(%rcx\)
    778 [ 	]*[a-f0-9]+:	f0 f2 48 ff 09       	lock xacquire decq \(%rcx\)
    779 [ 	]*[a-f0-9]+:	f0 f3 48 ff 09       	lock xrelease decq \(%rcx\)
    780 [ 	]*[a-f0-9]+:	f2 f0 48 ff 01       	xacquire lock incq \(%rcx\)
    781 [ 	]*[a-f0-9]+:	f2 f0 48 ff 01       	xacquire lock incq \(%rcx\)
    782 [ 	]*[a-f0-9]+:	f3 f0 48 ff 01       	xrelease lock incq \(%rcx\)
    783 [ 	]*[a-f0-9]+:	f3 f0 48 ff 01       	xrelease lock incq \(%rcx\)
    784 [ 	]*[a-f0-9]+:	f0 f2 48 ff 01       	lock xacquire incq \(%rcx\)
    785 [ 	]*[a-f0-9]+:	f0 f3 48 ff 01       	lock xrelease incq \(%rcx\)
    786 [ 	]*[a-f0-9]+:	f2 f0 48 f7 19       	xacquire lock negq \(%rcx\)
    787 [ 	]*[a-f0-9]+:	f2 f0 48 f7 19       	xacquire lock negq \(%rcx\)
    788 [ 	]*[a-f0-9]+:	f3 f0 48 f7 19       	xrelease lock negq \(%rcx\)
    789 [ 	]*[a-f0-9]+:	f3 f0 48 f7 19       	xrelease lock negq \(%rcx\)
    790 [ 	]*[a-f0-9]+:	f0 f2 48 f7 19       	lock xacquire negq \(%rcx\)
    791 [ 	]*[a-f0-9]+:	f0 f3 48 f7 19       	lock xrelease negq \(%rcx\)
    792 [ 	]*[a-f0-9]+:	f2 f0 48 f7 11       	xacquire lock notq \(%rcx\)
    793 [ 	]*[a-f0-9]+:	f2 f0 48 f7 11       	xacquire lock notq \(%rcx\)
    794 [ 	]*[a-f0-9]+:	f3 f0 48 f7 11       	xrelease lock notq \(%rcx\)
    795 [ 	]*[a-f0-9]+:	f3 f0 48 f7 11       	xrelease lock notq \(%rcx\)
    796 [ 	]*[a-f0-9]+:	f0 f2 48 f7 11       	lock xacquire notq \(%rcx\)
    797 [ 	]*[a-f0-9]+:	f0 f3 48 f7 11       	lock xrelease notq \(%rcx\)
    798 [ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%rcx\)
    799 [ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%rcx\)
    800 [ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%rcx\)
    801 [ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%rcx\)
    802 [ 	]*[a-f0-9]+:	f0 f2 0f c7 09       	lock xacquire cmpxchg8b \(%rcx\)
    803 [ 	]*[a-f0-9]+:	f0 f3 0f c7 09       	lock xrelease cmpxchg8b \(%rcx\)
    804 [ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%rcx\)
    805 [ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%rcx\)
    806 [ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%rcx\)
    807 [ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%rcx\)
    808 [ 	]*[a-f0-9]+:	f0 f2 0f b0 09       	lock xacquire cmpxchg %cl,\(%rcx\)
    809 [ 	]*[a-f0-9]+:	f0 f3 0f b0 09       	lock xrelease cmpxchg %cl,\(%rcx\)
    810 [ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%rcx\)
    811 [ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%rcx\)
    812 [ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%rcx\)
    813 [ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%rcx\)
    814 [ 	]*[a-f0-9]+:	f0 f2 0f c0 09       	lock xacquire xadd %cl,\(%rcx\)
    815 [ 	]*[a-f0-9]+:	f0 f3 0f c0 09       	lock xrelease xadd %cl,\(%rcx\)
    816 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
    817 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
    818 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
    819 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
    820 [ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%rcx\)
    821 [ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%rcx\)
    822 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
    823 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
    824 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
    825 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
    826 [ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%rcx\)
    827 [ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%rcx\)
    828 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
    829 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
    830 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
    831 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
    832 [ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%rcx\)
    833 [ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%rcx\)
    834 [ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%rcx\)
    835 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
    836 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
    837 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
    838 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
    839 [ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%rcx\)
    840 [ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%rcx\)
    841 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
    842 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
    843 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
    844 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
    845 [ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%rcx\)
    846 [ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%rcx\)
    847 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
    848 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
    849 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
    850 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
    851 [ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%rcx\)
    852 [ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%rcx\)
    853 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
    854 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
    855 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
    856 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
    857 [ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%rcx\)
    858 [ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%rcx\)
    859 [ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%rcx\)
    860 [ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%rcx\)
    861 [ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%rcx\)
    862 [ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%rcx\)
    863 [ 	]*[a-f0-9]+:	f0 f2 66 81 11 e8 03 	lock xacquire adcw \$0x3e8,\(%rcx\)
    864 [ 	]*[a-f0-9]+:	f0 f3 66 81 11 e8 03 	lock xrelease adcw \$0x3e8,\(%rcx\)
    865 [ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%rcx\)
    866 [ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%rcx\)
    867 [ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%rcx\)
    868 [ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%rcx\)
    869 [ 	]*[a-f0-9]+:	f0 f2 66 81 01 e8 03 	lock xacquire addw \$0x3e8,\(%rcx\)
    870 [ 	]*[a-f0-9]+:	f0 f3 66 81 01 e8 03 	lock xrelease addw \$0x3e8,\(%rcx\)
    871 [ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%rcx\)
    872 [ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%rcx\)
    873 [ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%rcx\)
    874 [ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%rcx\)
    875 [ 	]*[a-f0-9]+:	f0 f2 66 81 21 e8 03 	lock xacquire andw \$0x3e8,\(%rcx\)
    876 [ 	]*[a-f0-9]+:	f0 f3 66 81 21 e8 03 	lock xrelease andw \$0x3e8,\(%rcx\)
    877 [ 	]*[a-f0-9]+:	66 f3 c7 01 e8 03    	xrelease movw \$0x3e8,\(%rcx\)
    878 [ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%rcx\)
    879 [ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%rcx\)
    880 [ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%rcx\)
    881 [ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%rcx\)
    882 [ 	]*[a-f0-9]+:	f0 f2 66 81 09 e8 03 	lock xacquire orw \$0x3e8,\(%rcx\)
    883 [ 	]*[a-f0-9]+:	f0 f3 66 81 09 e8 03 	lock xrelease orw \$0x3e8,\(%rcx\)
    884 [ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%rcx\)
    885 [ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%rcx\)
    886 [ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%rcx\)
    887 [ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%rcx\)
    888 [ 	]*[a-f0-9]+:	f0 f2 66 81 19 e8 03 	lock xacquire sbbw \$0x3e8,\(%rcx\)
    889 [ 	]*[a-f0-9]+:	f0 f3 66 81 19 e8 03 	lock xrelease sbbw \$0x3e8,\(%rcx\)
    890 [ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%rcx\)
    891 [ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%rcx\)
    892 [ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%rcx\)
    893 [ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%rcx\)
    894 [ 	]*[a-f0-9]+:	f0 f2 66 81 29 e8 03 	lock xacquire subw \$0x3e8,\(%rcx\)
    895 [ 	]*[a-f0-9]+:	f0 f3 66 81 29 e8 03 	lock xrelease subw \$0x3e8,\(%rcx\)
    896 [ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%rcx\)
    897 [ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%rcx\)
    898 [ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%rcx\)
    899 [ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%rcx\)
    900 [ 	]*[a-f0-9]+:	f0 f2 66 81 31 e8 03 	lock xacquire xorw \$0x3e8,\(%rcx\)
    901 [ 	]*[a-f0-9]+:	f0 f3 66 81 31 e8 03 	lock xrelease xorw \$0x3e8,\(%rcx\)
    902 [ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%rcx\)
    903 [ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%rcx\)
    904 [ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%rcx\)
    905 [ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%rcx\)
    906 [ 	]*[a-f0-9]+:	f0 f2 81 11 80 96 98 00 	lock xacquire adcl \$0x989680,\(%rcx\)
    907 [ 	]*[a-f0-9]+:	f0 f3 81 11 80 96 98 00 	lock xrelease adcl \$0x989680,\(%rcx\)
    908 [ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%rcx\)
    909 [ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%rcx\)
    910 [ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%rcx\)
    911 [ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%rcx\)
    912 [ 	]*[a-f0-9]+:	f0 f2 81 01 80 96 98 00 	lock xacquire addl \$0x989680,\(%rcx\)
    913 [ 	]*[a-f0-9]+:	f0 f3 81 01 80 96 98 00 	lock xrelease addl \$0x989680,\(%rcx\)
    914 [ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%rcx\)
    915 [ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%rcx\)
    916 [ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%rcx\)
    917 [ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%rcx\)
    918 [ 	]*[a-f0-9]+:	f0 f2 81 21 80 96 98 00 	lock xacquire andl \$0x989680,\(%rcx\)
    919 [ 	]*[a-f0-9]+:	f0 f3 81 21 80 96 98 00 	lock xrelease andl \$0x989680,\(%rcx\)
    920 [ 	]*[a-f0-9]+:	f3 c7 01 80 96 98 00 	xrelease movl \$0x989680,\(%rcx\)
    921 [ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%rcx\)
    922 [ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%rcx\)
    923 [ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%rcx\)
    924 [ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%rcx\)
    925 [ 	]*[a-f0-9]+:	f0 f2 81 09 80 96 98 00 	lock xacquire orl \$0x989680,\(%rcx\)
    926 [ 	]*[a-f0-9]+:	f0 f3 81 09 80 96 98 00 	lock xrelease orl \$0x989680,\(%rcx\)
    927 [ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%rcx\)
    928 [ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%rcx\)
    929 [ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%rcx\)
    930 [ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%rcx\)
    931 [ 	]*[a-f0-9]+:	f0 f2 81 19 80 96 98 00 	lock xacquire sbbl \$0x989680,\(%rcx\)
    932 [ 	]*[a-f0-9]+:	f0 f3 81 19 80 96 98 00 	lock xrelease sbbl \$0x989680,\(%rcx\)
    933 [ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%rcx\)
    934 [ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%rcx\)
    935 [ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%rcx\)
    936 [ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%rcx\)
    937 [ 	]*[a-f0-9]+:	f0 f2 81 29 80 96 98 00 	lock xacquire subl \$0x989680,\(%rcx\)
    938 [ 	]*[a-f0-9]+:	f0 f3 81 29 80 96 98 00 	lock xrelease subl \$0x989680,\(%rcx\)
    939 [ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%rcx\)
    940 [ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%rcx\)
    941 [ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%rcx\)
    942 [ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%rcx\)
    943 [ 	]*[a-f0-9]+:	f0 f2 81 31 80 96 98 00 	lock xacquire xorl \$0x989680,\(%rcx\)
    944 [ 	]*[a-f0-9]+:	f0 f3 81 31 80 96 98 00 	lock xrelease xorl \$0x989680,\(%rcx\)
    945 [ 	]*[a-f0-9]+:	f2 f0 48 81 11 80 96 98 00 	xacquire lock adcq \$0x989680,\(%rcx\)
    946 [ 	]*[a-f0-9]+:	f2 f0 48 81 11 80 96 98 00 	xacquire lock adcq \$0x989680,\(%rcx\)
    947 [ 	]*[a-f0-9]+:	f3 f0 48 81 11 80 96 98 00 	xrelease lock adcq \$0x989680,\(%rcx\)
    948 [ 	]*[a-f0-9]+:	f3 f0 48 81 11 80 96 98 00 	xrelease lock adcq \$0x989680,\(%rcx\)
    949 [ 	]*[a-f0-9]+:	f0 f2 48 81 11 80 96 98 00 	lock xacquire adcq \$0x989680,\(%rcx\)
    950 [ 	]*[a-f0-9]+:	f0 f3 48 81 11 80 96 98 00 	lock xrelease adcq \$0x989680,\(%rcx\)
    951 [ 	]*[a-f0-9]+:	f2 f0 48 81 01 80 96 98 00 	xacquire lock addq \$0x989680,\(%rcx\)
    952 [ 	]*[a-f0-9]+:	f2 f0 48 81 01 80 96 98 00 	xacquire lock addq \$0x989680,\(%rcx\)
    953 [ 	]*[a-f0-9]+:	f3 f0 48 81 01 80 96 98 00 	xrelease lock addq \$0x989680,\(%rcx\)
    954 [ 	]*[a-f0-9]+:	f3 f0 48 81 01 80 96 98 00 	xrelease lock addq \$0x989680,\(%rcx\)
    955 [ 	]*[a-f0-9]+:	f0 f2 48 81 01 80 96 98 00 	lock xacquire addq \$0x989680,\(%rcx\)
    956 [ 	]*[a-f0-9]+:	f0 f3 48 81 01 80 96 98 00 	lock xrelease addq \$0x989680,\(%rcx\)
    957 [ 	]*[a-f0-9]+:	f2 f0 48 81 21 80 96 98 00 	xacquire lock andq \$0x989680,\(%rcx\)
    958 [ 	]*[a-f0-9]+:	f2 f0 48 81 21 80 96 98 00 	xacquire lock andq \$0x989680,\(%rcx\)
    959 [ 	]*[a-f0-9]+:	f3 f0 48 81 21 80 96 98 00 	xrelease lock andq \$0x989680,\(%rcx\)
    960 [ 	]*[a-f0-9]+:	f3 f0 48 81 21 80 96 98 00 	xrelease lock andq \$0x989680,\(%rcx\)
    961 [ 	]*[a-f0-9]+:	f0 f2 48 81 21 80 96 98 00 	lock xacquire andq \$0x989680,\(%rcx\)
    962 [ 	]*[a-f0-9]+:	f0 f3 48 81 21 80 96 98 00 	lock xrelease andq \$0x989680,\(%rcx\)
    963 [ 	]*[a-f0-9]+:	f3 48 c7 01 80 96 98 00 	xrelease movq \$0x989680,\(%rcx\)
    964 [ 	]*[a-f0-9]+:	f2 f0 48 81 09 80 96 98 00 	xacquire lock orq \$0x989680,\(%rcx\)
    965 [ 	]*[a-f0-9]+:	f2 f0 48 81 09 80 96 98 00 	xacquire lock orq \$0x989680,\(%rcx\)
    966 [ 	]*[a-f0-9]+:	f3 f0 48 81 09 80 96 98 00 	xrelease lock orq \$0x989680,\(%rcx\)
    967 [ 	]*[a-f0-9]+:	f3 f0 48 81 09 80 96 98 00 	xrelease lock orq \$0x989680,\(%rcx\)
    968 [ 	]*[a-f0-9]+:	f0 f2 48 81 09 80 96 98 00 	lock xacquire orq \$0x989680,\(%rcx\)
    969 [ 	]*[a-f0-9]+:	f0 f3 48 81 09 80 96 98 00 	lock xrelease orq \$0x989680,\(%rcx\)
    970 [ 	]*[a-f0-9]+:	f2 f0 48 81 19 80 96 98 00 	xacquire lock sbbq \$0x989680,\(%rcx\)
    971 [ 	]*[a-f0-9]+:	f2 f0 48 81 19 80 96 98 00 	xacquire lock sbbq \$0x989680,\(%rcx\)
    972 [ 	]*[a-f0-9]+:	f3 f0 48 81 19 80 96 98 00 	xrelease lock sbbq \$0x989680,\(%rcx\)
    973 [ 	]*[a-f0-9]+:	f3 f0 48 81 19 80 96 98 00 	xrelease lock sbbq \$0x989680,\(%rcx\)
    974 [ 	]*[a-f0-9]+:	f0 f2 48 81 19 80 96 98 00 	lock xacquire sbbq \$0x989680,\(%rcx\)
    975 [ 	]*[a-f0-9]+:	f0 f3 48 81 19 80 96 98 00 	lock xrelease sbbq \$0x989680,\(%rcx\)
    976 [ 	]*[a-f0-9]+:	f2 f0 48 81 29 80 96 98 00 	xacquire lock subq \$0x989680,\(%rcx\)
    977 [ 	]*[a-f0-9]+:	f2 f0 48 81 29 80 96 98 00 	xacquire lock subq \$0x989680,\(%rcx\)
    978 [ 	]*[a-f0-9]+:	f3 f0 48 81 29 80 96 98 00 	xrelease lock subq \$0x989680,\(%rcx\)
    979 [ 	]*[a-f0-9]+:	f3 f0 48 81 29 80 96 98 00 	xrelease lock subq \$0x989680,\(%rcx\)
    980 [ 	]*[a-f0-9]+:	f0 f2 48 81 29 80 96 98 00 	lock xacquire subq \$0x989680,\(%rcx\)
    981 [ 	]*[a-f0-9]+:	f0 f3 48 81 29 80 96 98 00 	lock xrelease subq \$0x989680,\(%rcx\)
    982 [ 	]*[a-f0-9]+:	f2 f0 48 81 31 80 96 98 00 	xacquire lock xorq \$0x989680,\(%rcx\)
    983 [ 	]*[a-f0-9]+:	f2 f0 48 81 31 80 96 98 00 	xacquire lock xorq \$0x989680,\(%rcx\)
    984 [ 	]*[a-f0-9]+:	f3 f0 48 81 31 80 96 98 00 	xrelease lock xorq \$0x989680,\(%rcx\)
    985 [ 	]*[a-f0-9]+:	f3 f0 48 81 31 80 96 98 00 	xrelease lock xorq \$0x989680,\(%rcx\)
    986 [ 	]*[a-f0-9]+:	f0 f2 48 81 31 80 96 98 00 	lock xacquire xorq \$0x989680,\(%rcx\)
    987 [ 	]*[a-f0-9]+:	f0 f3 48 81 31 80 96 98 00 	lock xrelease xorq \$0x989680,\(%rcx\)
    988 [ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%rcx\)
    989 [ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%rcx\)
    990 [ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%rcx\)
    991 [ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%rcx\)
    992 [ 	]*[a-f0-9]+:	f0 f2 66 83 11 64    	lock xacquire adcw \$0x64,\(%rcx\)
    993 [ 	]*[a-f0-9]+:	f0 f3 66 83 11 64    	lock xrelease adcw \$0x64,\(%rcx\)
    994 [ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%rcx\)
    995 [ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%rcx\)
    996 [ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%rcx\)
    997 [ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%rcx\)
    998 [ 	]*[a-f0-9]+:	f0 f2 66 83 01 64    	lock xacquire addw \$0x64,\(%rcx\)
    999 [ 	]*[a-f0-9]+:	f0 f3 66 83 01 64    	lock xrelease addw \$0x64,\(%rcx\)
   1000 [ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%rcx\)
   1001 [ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%rcx\)
   1002 [ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%rcx\)
   1003 [ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%rcx\)
   1004 [ 	]*[a-f0-9]+:	f0 f2 66 83 21 64    	lock xacquire andw \$0x64,\(%rcx\)
   1005 [ 	]*[a-f0-9]+:	f0 f3 66 83 21 64    	lock xrelease andw \$0x64,\(%rcx\)
   1006 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%rcx\)
   1007 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%rcx\)
   1008 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%rcx\)
   1009 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%rcx\)
   1010 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 39 64 	lock xacquire btcw \$0x64,\(%rcx\)
   1011 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 39 64 	lock xrelease btcw \$0x64,\(%rcx\)
   1012 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%rcx\)
   1013 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%rcx\)
   1014 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%rcx\)
   1015 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%rcx\)
   1016 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 31 64 	lock xacquire btrw \$0x64,\(%rcx\)
   1017 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 31 64 	lock xrelease btrw \$0x64,\(%rcx\)
   1018 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%rcx\)
   1019 [ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%rcx\)
   1020 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%rcx\)
   1021 [ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%rcx\)
   1022 [ 	]*[a-f0-9]+:	f0 f2 66 0f ba 29 64 	lock xacquire btsw \$0x64,\(%rcx\)
   1023 [ 	]*[a-f0-9]+:	f0 f3 66 0f ba 29 64 	lock xrelease btsw \$0x64,\(%rcx\)
   1024 [ 	]*[a-f0-9]+:	66 f3 c7 01 64 00    	xrelease movw \$0x64,\(%rcx\)
   1025 [ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%rcx\)
   1026 [ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%rcx\)
   1027 [ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%rcx\)
   1028 [ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%rcx\)
   1029 [ 	]*[a-f0-9]+:	f0 f2 66 83 09 64    	lock xacquire orw \$0x64,\(%rcx\)
   1030 [ 	]*[a-f0-9]+:	f0 f3 66 83 09 64    	lock xrelease orw \$0x64,\(%rcx\)
   1031 [ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%rcx\)
   1032 [ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%rcx\)
   1033 [ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%rcx\)
   1034 [ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%rcx\)
   1035 [ 	]*[a-f0-9]+:	f0 f2 66 83 19 64    	lock xacquire sbbw \$0x64,\(%rcx\)
   1036 [ 	]*[a-f0-9]+:	f0 f3 66 83 19 64    	lock xrelease sbbw \$0x64,\(%rcx\)
   1037 [ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%rcx\)
   1038 [ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%rcx\)
   1039 [ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%rcx\)
   1040 [ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%rcx\)
   1041 [ 	]*[a-f0-9]+:	f0 f2 66 83 29 64    	lock xacquire subw \$0x64,\(%rcx\)
   1042 [ 	]*[a-f0-9]+:	f0 f3 66 83 29 64    	lock xrelease subw \$0x64,\(%rcx\)
   1043 [ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%rcx\)
   1044 [ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%rcx\)
   1045 [ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%rcx\)
   1046 [ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%rcx\)
   1047 [ 	]*[a-f0-9]+:	f0 f2 66 83 31 64    	lock xacquire xorw \$0x64,\(%rcx\)
   1048 [ 	]*[a-f0-9]+:	f0 f3 66 83 31 64    	lock xrelease xorw \$0x64,\(%rcx\)
   1049 [ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%rcx\)
   1050 [ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%rcx\)
   1051 [ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%rcx\)
   1052 [ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%rcx\)
   1053 [ 	]*[a-f0-9]+:	f0 f2 83 11 64       	lock xacquire adcl \$0x64,\(%rcx\)
   1054 [ 	]*[a-f0-9]+:	f0 f3 83 11 64       	lock xrelease adcl \$0x64,\(%rcx\)
   1055 [ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%rcx\)
   1056 [ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%rcx\)
   1057 [ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%rcx\)
   1058 [ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%rcx\)
   1059 [ 	]*[a-f0-9]+:	f0 f2 83 01 64       	lock xacquire addl \$0x64,\(%rcx\)
   1060 [ 	]*[a-f0-9]+:	f0 f3 83 01 64       	lock xrelease addl \$0x64,\(%rcx\)
   1061 [ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%rcx\)
   1062 [ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%rcx\)
   1063 [ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%rcx\)
   1064 [ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%rcx\)
   1065 [ 	]*[a-f0-9]+:	f0 f2 83 21 64       	lock xacquire andl \$0x64,\(%rcx\)
   1066 [ 	]*[a-f0-9]+:	f0 f3 83 21 64       	lock xrelease andl \$0x64,\(%rcx\)
   1067 [ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%rcx\)
   1068 [ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%rcx\)
   1069 [ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%rcx\)
   1070 [ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%rcx\)
   1071 [ 	]*[a-f0-9]+:	f0 f2 0f ba 39 64    	lock xacquire btcl \$0x64,\(%rcx\)
   1072 [ 	]*[a-f0-9]+:	f0 f3 0f ba 39 64    	lock xrelease btcl \$0x64,\(%rcx\)
   1073 [ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%rcx\)
   1074 [ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%rcx\)
   1075 [ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%rcx\)
   1076 [ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%rcx\)
   1077 [ 	]*[a-f0-9]+:	f0 f2 0f ba 31 64    	lock xacquire btrl \$0x64,\(%rcx\)
   1078 [ 	]*[a-f0-9]+:	f0 f3 0f ba 31 64    	lock xrelease btrl \$0x64,\(%rcx\)
   1079 [ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%rcx\)
   1080 [ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%rcx\)
   1081 [ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%rcx\)
   1082 [ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%rcx\)
   1083 [ 	]*[a-f0-9]+:	f0 f2 0f ba 29 64    	lock xacquire btsl \$0x64,\(%rcx\)
   1084 [ 	]*[a-f0-9]+:	f0 f3 0f ba 29 64    	lock xrelease btsl \$0x64,\(%rcx\)
   1085 [ 	]*[a-f0-9]+:	f3 c7 01 64 00 00 00 	xrelease movl \$0x64,\(%rcx\)
   1086 [ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%rcx\)
   1087 [ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%rcx\)
   1088 [ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%rcx\)
   1089 [ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%rcx\)
   1090 [ 	]*[a-f0-9]+:	f0 f2 83 09 64       	lock xacquire orl \$0x64,\(%rcx\)
   1091 [ 	]*[a-f0-9]+:	f0 f3 83 09 64       	lock xrelease orl \$0x64,\(%rcx\)
   1092 [ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%rcx\)
   1093 [ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%rcx\)
   1094 [ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%rcx\)
   1095 [ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%rcx\)
   1096 [ 	]*[a-f0-9]+:	f0 f2 83 19 64       	lock xacquire sbbl \$0x64,\(%rcx\)
   1097 [ 	]*[a-f0-9]+:	f0 f3 83 19 64       	lock xrelease sbbl \$0x64,\(%rcx\)
   1098 [ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%rcx\)
   1099 [ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%rcx\)
   1100 [ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%rcx\)
   1101 [ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%rcx\)
   1102 [ 	]*[a-f0-9]+:	f0 f2 83 29 64       	lock xacquire subl \$0x64,\(%rcx\)
   1103 [ 	]*[a-f0-9]+:	f0 f3 83 29 64       	lock xrelease subl \$0x64,\(%rcx\)
   1104 [ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%rcx\)
   1105 [ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%rcx\)
   1106 [ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%rcx\)
   1107 [ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%rcx\)
   1108 [ 	]*[a-f0-9]+:	f0 f2 83 31 64       	lock xacquire xorl \$0x64,\(%rcx\)
   1109 [ 	]*[a-f0-9]+:	f0 f3 83 31 64       	lock xrelease xorl \$0x64,\(%rcx\)
   1110 [ 	]*[a-f0-9]+:	f2 f0 48 83 11 64    	xacquire lock adcq \$0x64,\(%rcx\)
   1111 [ 	]*[a-f0-9]+:	f2 f0 48 83 11 64    	xacquire lock adcq \$0x64,\(%rcx\)
   1112 [ 	]*[a-f0-9]+:	f3 f0 48 83 11 64    	xrelease lock adcq \$0x64,\(%rcx\)
   1113 [ 	]*[a-f0-9]+:	f3 f0 48 83 11 64    	xrelease lock adcq \$0x64,\(%rcx\)
   1114 [ 	]*[a-f0-9]+:	f0 f2 48 83 11 64    	lock xacquire adcq \$0x64,\(%rcx\)
   1115 [ 	]*[a-f0-9]+:	f0 f3 48 83 11 64    	lock xrelease adcq \$0x64,\(%rcx\)
   1116 [ 	]*[a-f0-9]+:	f2 f0 48 83 01 64    	xacquire lock addq \$0x64,\(%rcx\)
   1117 [ 	]*[a-f0-9]+:	f2 f0 48 83 01 64    	xacquire lock addq \$0x64,\(%rcx\)
   1118 [ 	]*[a-f0-9]+:	f3 f0 48 83 01 64    	xrelease lock addq \$0x64,\(%rcx\)
   1119 [ 	]*[a-f0-9]+:	f3 f0 48 83 01 64    	xrelease lock addq \$0x64,\(%rcx\)
   1120 [ 	]*[a-f0-9]+:	f0 f2 48 83 01 64    	lock xacquire addq \$0x64,\(%rcx\)
   1121 [ 	]*[a-f0-9]+:	f0 f3 48 83 01 64    	lock xrelease addq \$0x64,\(%rcx\)
   1122 [ 	]*[a-f0-9]+:	f2 f0 48 83 21 64    	xacquire lock andq \$0x64,\(%rcx\)
   1123 [ 	]*[a-f0-9]+:	f2 f0 48 83 21 64    	xacquire lock andq \$0x64,\(%rcx\)
   1124 [ 	]*[a-f0-9]+:	f3 f0 48 83 21 64    	xrelease lock andq \$0x64,\(%rcx\)
   1125 [ 	]*[a-f0-9]+:	f3 f0 48 83 21 64    	xrelease lock andq \$0x64,\(%rcx\)
   1126 [ 	]*[a-f0-9]+:	f0 f2 48 83 21 64    	lock xacquire andq \$0x64,\(%rcx\)
   1127 [ 	]*[a-f0-9]+:	f0 f3 48 83 21 64    	lock xrelease andq \$0x64,\(%rcx\)
   1128 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 39 64 	xacquire lock btcq \$0x64,\(%rcx\)
   1129 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 39 64 	xacquire lock btcq \$0x64,\(%rcx\)
   1130 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 39 64 	xrelease lock btcq \$0x64,\(%rcx\)
   1131 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 39 64 	xrelease lock btcq \$0x64,\(%rcx\)
   1132 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 39 64 	lock xacquire btcq \$0x64,\(%rcx\)
   1133 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 39 64 	lock xrelease btcq \$0x64,\(%rcx\)
   1134 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 31 64 	xacquire lock btrq \$0x64,\(%rcx\)
   1135 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 31 64 	xacquire lock btrq \$0x64,\(%rcx\)
   1136 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 31 64 	xrelease lock btrq \$0x64,\(%rcx\)
   1137 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 31 64 	xrelease lock btrq \$0x64,\(%rcx\)
   1138 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 31 64 	lock xacquire btrq \$0x64,\(%rcx\)
   1139 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 31 64 	lock xrelease btrq \$0x64,\(%rcx\)
   1140 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 29 64 	xacquire lock btsq \$0x64,\(%rcx\)
   1141 [ 	]*[a-f0-9]+:	f2 f0 48 0f ba 29 64 	xacquire lock btsq \$0x64,\(%rcx\)
   1142 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 29 64 	xrelease lock btsq \$0x64,\(%rcx\)
   1143 [ 	]*[a-f0-9]+:	f3 f0 48 0f ba 29 64 	xrelease lock btsq \$0x64,\(%rcx\)
   1144 [ 	]*[a-f0-9]+:	f0 f2 48 0f ba 29 64 	lock xacquire btsq \$0x64,\(%rcx\)
   1145 [ 	]*[a-f0-9]+:	f0 f3 48 0f ba 29 64 	lock xrelease btsq \$0x64,\(%rcx\)
   1146 [ 	]*[a-f0-9]+:	f3 48 c7 01 64 00 00 00 	xrelease movq \$0x64,\(%rcx\)
   1147 [ 	]*[a-f0-9]+:	f2 f0 48 83 09 64    	xacquire lock orq \$0x64,\(%rcx\)
   1148 [ 	]*[a-f0-9]+:	f2 f0 48 83 09 64    	xacquire lock orq \$0x64,\(%rcx\)
   1149 [ 	]*[a-f0-9]+:	f3 f0 48 83 09 64    	xrelease lock orq \$0x64,\(%rcx\)
   1150 [ 	]*[a-f0-9]+:	f3 f0 48 83 09 64    	xrelease lock orq \$0x64,\(%rcx\)
   1151 [ 	]*[a-f0-9]+:	f0 f2 48 83 09 64    	lock xacquire orq \$0x64,\(%rcx\)
   1152 [ 	]*[a-f0-9]+:	f0 f3 48 83 09 64    	lock xrelease orq \$0x64,\(%rcx\)
   1153 [ 	]*[a-f0-9]+:	f2 f0 48 83 19 64    	xacquire lock sbbq \$0x64,\(%rcx\)
   1154 [ 	]*[a-f0-9]+:	f2 f0 48 83 19 64    	xacquire lock sbbq \$0x64,\(%rcx\)
   1155 [ 	]*[a-f0-9]+:	f3 f0 48 83 19 64    	xrelease lock sbbq \$0x64,\(%rcx\)
   1156 [ 	]*[a-f0-9]+:	f3 f0 48 83 19 64    	xrelease lock sbbq \$0x64,\(%rcx\)
   1157 [ 	]*[a-f0-9]+:	f0 f2 48 83 19 64    	lock xacquire sbbq \$0x64,\(%rcx\)
   1158 [ 	]*[a-f0-9]+:	f0 f3 48 83 19 64    	lock xrelease sbbq \$0x64,\(%rcx\)
   1159 [ 	]*[a-f0-9]+:	f2 f0 48 83 29 64    	xacquire lock subq \$0x64,\(%rcx\)
   1160 [ 	]*[a-f0-9]+:	f2 f0 48 83 29 64    	xacquire lock subq \$0x64,\(%rcx\)
   1161 [ 	]*[a-f0-9]+:	f3 f0 48 83 29 64    	xrelease lock subq \$0x64,\(%rcx\)
   1162 [ 	]*[a-f0-9]+:	f3 f0 48 83 29 64    	xrelease lock subq \$0x64,\(%rcx\)
   1163 [ 	]*[a-f0-9]+:	f0 f2 48 83 29 64    	lock xacquire subq \$0x64,\(%rcx\)
   1164 [ 	]*[a-f0-9]+:	f0 f3 48 83 29 64    	lock xrelease subq \$0x64,\(%rcx\)
   1165 [ 	]*[a-f0-9]+:	f2 f0 48 83 31 64    	xacquire lock xorq \$0x64,\(%rcx\)
   1166 [ 	]*[a-f0-9]+:	f2 f0 48 83 31 64    	xacquire lock xorq \$0x64,\(%rcx\)
   1167 [ 	]*[a-f0-9]+:	f3 f0 48 83 31 64    	xrelease lock xorq \$0x64,\(%rcx\)
   1168 [ 	]*[a-f0-9]+:	f3 f0 48 83 31 64    	xrelease lock xorq \$0x64,\(%rcx\)
   1169 [ 	]*[a-f0-9]+:	f0 f2 48 83 31 64    	lock xacquire xorq \$0x64,\(%rcx\)
   1170 [ 	]*[a-f0-9]+:	f0 f3 48 83 31 64    	lock xrelease xorq \$0x64,\(%rcx\)
   1171 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
   1172 [ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%rcx\)
   1173 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
   1174 [ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%rcx\)
   1175 [ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%rcx\)
   1176 [ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%rcx\)
   1177 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
   1178 [ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%rcx\)
   1179 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
   1180 [ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%rcx\)
   1181 [ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%rcx\)
   1182 [ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%rcx\)
   1183 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
   1184 [ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%rcx\)
   1185 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
   1186 [ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%rcx\)
   1187 [ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%rcx\)
   1188 [ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%rcx\)
   1189 [ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%rcx\)
   1190 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
   1191 [ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%rcx\)
   1192 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
   1193 [ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%rcx\)
   1194 [ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%rcx\)
   1195 [ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%rcx\)
   1196 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
   1197 [ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%rcx\)
   1198 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
   1199 [ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%rcx\)
   1200 [ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%rcx\)
   1201 [ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%rcx\)
   1202 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
   1203 [ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%rcx\)
   1204 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
   1205 [ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%rcx\)
   1206 [ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%rcx\)
   1207 [ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%rcx\)
   1208 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
   1209 [ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%rcx\)
   1210 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
   1211 [ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%rcx\)
   1212 [ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%rcx\)
   1213 [ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%rcx\)
   1214 [ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%rcx\)
   1215 [ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%rcx\)
   1216 [ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%rcx\)
   1217 [ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%rcx\)
   1218 [ 	]*[a-f0-9]+:	f0 f2 10 01          	lock xacquire adc %al,\(%rcx\)
   1219 [ 	]*[a-f0-9]+:	f0 f3 10 01          	lock xrelease adc %al,\(%rcx\)
   1220 [ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%rcx\)
   1221 [ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%rcx\)
   1222 [ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%rcx\)
   1223 [ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%rcx\)
   1224 [ 	]*[a-f0-9]+:	f0 f2 00 01          	lock xacquire add %al,\(%rcx\)
   1225 [ 	]*[a-f0-9]+:	f0 f3 00 01          	lock xrelease add %al,\(%rcx\)
   1226 [ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%rcx\)
   1227 [ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%rcx\)
   1228 [ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%rcx\)
   1229 [ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%rcx\)
   1230 [ 	]*[a-f0-9]+:	f0 f2 20 01          	lock xacquire and %al,\(%rcx\)
   1231 [ 	]*[a-f0-9]+:	f0 f3 20 01          	lock xrelease and %al,\(%rcx\)
   1232 [ 	]*[a-f0-9]+:	f3 88 01             	xrelease mov %al,\(%rcx\)
   1233 [ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%rcx\)
   1234 [ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%rcx\)
   1235 [ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%rcx\)
   1236 [ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%rcx\)
   1237 [ 	]*[a-f0-9]+:	f0 f2 08 01          	lock xacquire or %al,\(%rcx\)
   1238 [ 	]*[a-f0-9]+:	f0 f3 08 01          	lock xrelease or %al,\(%rcx\)
   1239 [ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%rcx\)
   1240 [ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%rcx\)
   1241 [ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%rcx\)
   1242 [ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%rcx\)
   1243 [ 	]*[a-f0-9]+:	f0 f2 18 01          	lock xacquire sbb %al,\(%rcx\)
   1244 [ 	]*[a-f0-9]+:	f0 f3 18 01          	lock xrelease sbb %al,\(%rcx\)
   1245 [ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%rcx\)
   1246 [ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%rcx\)
   1247 [ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%rcx\)
   1248 [ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%rcx\)
   1249 [ 	]*[a-f0-9]+:	f0 f2 28 01          	lock xacquire sub %al,\(%rcx\)
   1250 [ 	]*[a-f0-9]+:	f0 f3 28 01          	lock xrelease sub %al,\(%rcx\)
   1251 [ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%rcx\)
   1252 [ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%rcx\)
   1253 [ 	]*[a-f0-9]+:	f2 86 01             	xacquire xchg %al,\(%rcx\)
   1254 [ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%rcx\)
   1255 [ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%rcx\)
   1256 [ 	]*[a-f0-9]+:	f3 86 01             	xrelease xchg %al,\(%rcx\)
   1257 [ 	]*[a-f0-9]+:	f0 f2 86 01          	lock xacquire xchg %al,\(%rcx\)
   1258 [ 	]*[a-f0-9]+:	f0 f3 86 01          	lock xrelease xchg %al,\(%rcx\)
   1259 [ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%rcx\)
   1260 [ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%rcx\)
   1261 [ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%rcx\)
   1262 [ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%rcx\)
   1263 [ 	]*[a-f0-9]+:	f0 f2 30 01          	lock xacquire xor %al,\(%rcx\)
   1264 [ 	]*[a-f0-9]+:	f0 f3 30 01          	lock xrelease xor %al,\(%rcx\)
   1265 [ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%rcx\)
   1266 [ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%rcx\)
   1267 [ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%rcx\)
   1268 [ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%rcx\)
   1269 [ 	]*[a-f0-9]+:	f0 f2 66 11 01       	lock xacquire adc %ax,\(%rcx\)
   1270 [ 	]*[a-f0-9]+:	f0 f3 66 11 01       	lock xrelease adc %ax,\(%rcx\)
   1271 [ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%rcx\)
   1272 [ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%rcx\)
   1273 [ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%rcx\)
   1274 [ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%rcx\)
   1275 [ 	]*[a-f0-9]+:	f0 f2 66 01 01       	lock xacquire add %ax,\(%rcx\)
   1276 [ 	]*[a-f0-9]+:	f0 f3 66 01 01       	lock xrelease add %ax,\(%rcx\)
   1277 [ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%rcx\)
   1278 [ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%rcx\)
   1279 [ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%rcx\)
   1280 [ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%rcx\)
   1281 [ 	]*[a-f0-9]+:	f0 f2 66 21 01       	lock xacquire and %ax,\(%rcx\)
   1282 [ 	]*[a-f0-9]+:	f0 f3 66 21 01       	lock xrelease and %ax,\(%rcx\)
   1283 [ 	]*[a-f0-9]+:	66 f3 89 01          	xrelease mov %ax,\(%rcx\)
   1284 [ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%rcx\)
   1285 [ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%rcx\)
   1286 [ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%rcx\)
   1287 [ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%rcx\)
   1288 [ 	]*[a-f0-9]+:	f0 f2 66 09 01       	lock xacquire or %ax,\(%rcx\)
   1289 [ 	]*[a-f0-9]+:	f0 f3 66 09 01       	lock xrelease or %ax,\(%rcx\)
   1290 [ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%rcx\)
   1291 [ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%rcx\)
   1292 [ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%rcx\)
   1293 [ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%rcx\)
   1294 [ 	]*[a-f0-9]+:	f0 f2 66 19 01       	lock xacquire sbb %ax,\(%rcx\)
   1295 [ 	]*[a-f0-9]+:	f0 f3 66 19 01       	lock xrelease sbb %ax,\(%rcx\)
   1296 [ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%rcx\)
   1297 [ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%rcx\)
   1298 [ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%rcx\)
   1299 [ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%rcx\)
   1300 [ 	]*[a-f0-9]+:	f0 f2 66 29 01       	lock xacquire sub %ax,\(%rcx\)
   1301 [ 	]*[a-f0-9]+:	f0 f3 66 29 01       	lock xrelease sub %ax,\(%rcx\)
   1302 [ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%rcx\)
   1303 [ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%rcx\)
   1304 [ 	]*[a-f0-9]+:	66 f2 87 01          	xacquire xchg %ax,\(%rcx\)
   1305 [ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%rcx\)
   1306 [ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%rcx\)
   1307 [ 	]*[a-f0-9]+:	66 f3 87 01          	xrelease xchg %ax,\(%rcx\)
   1308 [ 	]*[a-f0-9]+:	f0 f2 66 87 01       	lock xacquire xchg %ax,\(%rcx\)
   1309 [ 	]*[a-f0-9]+:	f0 f3 66 87 01       	lock xrelease xchg %ax,\(%rcx\)
   1310 [ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%rcx\)
   1311 [ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%rcx\)
   1312 [ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%rcx\)
   1313 [ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%rcx\)
   1314 [ 	]*[a-f0-9]+:	f0 f2 66 31 01       	lock xacquire xor %ax,\(%rcx\)
   1315 [ 	]*[a-f0-9]+:	f0 f3 66 31 01       	lock xrelease xor %ax,\(%rcx\)
   1316 [ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%rcx\)
   1317 [ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%rcx\)
   1318 [ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%rcx\)
   1319 [ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%rcx\)
   1320 [ 	]*[a-f0-9]+:	f0 f2 11 01          	lock xacquire adc %eax,\(%rcx\)
   1321 [ 	]*[a-f0-9]+:	f0 f3 11 01          	lock xrelease adc %eax,\(%rcx\)
   1322 [ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%rcx\)
   1323 [ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%rcx\)
   1324 [ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%rcx\)
   1325 [ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%rcx\)
   1326 [ 	]*[a-f0-9]+:	f0 f2 01 01          	lock xacquire add %eax,\(%rcx\)
   1327 [ 	]*[a-f0-9]+:	f0 f3 01 01          	lock xrelease add %eax,\(%rcx\)
   1328 [ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%rcx\)
   1329 [ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%rcx\)
   1330 [ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%rcx\)
   1331 [ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%rcx\)
   1332 [ 	]*[a-f0-9]+:	f0 f2 21 01          	lock xacquire and %eax,\(%rcx\)
   1333 [ 	]*[a-f0-9]+:	f0 f3 21 01          	lock xrelease and %eax,\(%rcx\)
   1334 [ 	]*[a-f0-9]+:	f3 89 01             	xrelease mov %eax,\(%rcx\)
   1335 [ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%rcx\)
   1336 [ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%rcx\)
   1337 [ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%rcx\)
   1338 [ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%rcx\)
   1339 [ 	]*[a-f0-9]+:	f0 f2 09 01          	lock xacquire or %eax,\(%rcx\)
   1340 [ 	]*[a-f0-9]+:	f0 f3 09 01          	lock xrelease or %eax,\(%rcx\)
   1341 [ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%rcx\)
   1342 [ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%rcx\)
   1343 [ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%rcx\)
   1344 [ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%rcx\)
   1345 [ 	]*[a-f0-9]+:	f0 f2 19 01          	lock xacquire sbb %eax,\(%rcx\)
   1346 [ 	]*[a-f0-9]+:	f0 f3 19 01          	lock xrelease sbb %eax,\(%rcx\)
   1347 [ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%rcx\)
   1348 [ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%rcx\)
   1349 [ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%rcx\)
   1350 [ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%rcx\)
   1351 [ 	]*[a-f0-9]+:	f0 f2 29 01          	lock xacquire sub %eax,\(%rcx\)
   1352 [ 	]*[a-f0-9]+:	f0 f3 29 01          	lock xrelease sub %eax,\(%rcx\)
   1353 [ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%rcx\)
   1354 [ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%rcx\)
   1355 [ 	]*[a-f0-9]+:	f2 87 01             	xacquire xchg %eax,\(%rcx\)
   1356 [ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%rcx\)
   1357 [ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%rcx\)
   1358 [ 	]*[a-f0-9]+:	f3 87 01             	xrelease xchg %eax,\(%rcx\)
   1359 [ 	]*[a-f0-9]+:	f0 f2 87 01          	lock xacquire xchg %eax,\(%rcx\)
   1360 [ 	]*[a-f0-9]+:	f0 f3 87 01          	lock xrelease xchg %eax,\(%rcx\)
   1361 [ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%rcx\)
   1362 [ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%rcx\)
   1363 [ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%rcx\)
   1364 [ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%rcx\)
   1365 [ 	]*[a-f0-9]+:	f0 f2 31 01          	lock xacquire xor %eax,\(%rcx\)
   1366 [ 	]*[a-f0-9]+:	f0 f3 31 01          	lock xrelease xor %eax,\(%rcx\)
   1367 [ 	]*[a-f0-9]+:	f2 f0 48 11 01       	xacquire lock adc %rax,\(%rcx\)
   1368 [ 	]*[a-f0-9]+:	f2 f0 48 11 01       	xacquire lock adc %rax,\(%rcx\)
   1369 [ 	]*[a-f0-9]+:	f3 f0 48 11 01       	xrelease lock adc %rax,\(%rcx\)
   1370 [ 	]*[a-f0-9]+:	f3 f0 48 11 01       	xrelease lock adc %rax,\(%rcx\)
   1371 [ 	]*[a-f0-9]+:	f0 f2 48 11 01       	lock xacquire adc %rax,\(%rcx\)
   1372 [ 	]*[a-f0-9]+:	f0 f3 48 11 01       	lock xrelease adc %rax,\(%rcx\)
   1373 [ 	]*[a-f0-9]+:	f2 f0 48 01 01       	xacquire lock add %rax,\(%rcx\)
   1374 [ 	]*[a-f0-9]+:	f2 f0 48 01 01       	xacquire lock add %rax,\(%rcx\)
   1375 [ 	]*[a-f0-9]+:	f3 f0 48 01 01       	xrelease lock add %rax,\(%rcx\)
   1376 [ 	]*[a-f0-9]+:	f3 f0 48 01 01       	xrelease lock add %rax,\(%rcx\)
   1377 [ 	]*[a-f0-9]+:	f0 f2 48 01 01       	lock xacquire add %rax,\(%rcx\)
   1378 [ 	]*[a-f0-9]+:	f0 f3 48 01 01       	lock xrelease add %rax,\(%rcx\)
   1379 [ 	]*[a-f0-9]+:	f2 f0 48 21 01       	xacquire lock and %rax,\(%rcx\)
   1380 [ 	]*[a-f0-9]+:	f2 f0 48 21 01       	xacquire lock and %rax,\(%rcx\)
   1381 [ 	]*[a-f0-9]+:	f3 f0 48 21 01       	xrelease lock and %rax,\(%rcx\)
   1382 [ 	]*[a-f0-9]+:	f3 f0 48 21 01       	xrelease lock and %rax,\(%rcx\)
   1383 [ 	]*[a-f0-9]+:	f0 f2 48 21 01       	lock xacquire and %rax,\(%rcx\)
   1384 [ 	]*[a-f0-9]+:	f0 f3 48 21 01       	lock xrelease and %rax,\(%rcx\)
   1385 [ 	]*[a-f0-9]+:	f3 48 89 01          	xrelease mov %rax,\(%rcx\)
   1386 [ 	]*[a-f0-9]+:	f2 f0 48 09 01       	xacquire lock or %rax,\(%rcx\)
   1387 [ 	]*[a-f0-9]+:	f2 f0 48 09 01       	xacquire lock or %rax,\(%rcx\)
   1388 [ 	]*[a-f0-9]+:	f3 f0 48 09 01       	xrelease lock or %rax,\(%rcx\)
   1389 [ 	]*[a-f0-9]+:	f3 f0 48 09 01       	xrelease lock or %rax,\(%rcx\)
   1390 [ 	]*[a-f0-9]+:	f0 f2 48 09 01       	lock xacquire or %rax,\(%rcx\)
   1391 [ 	]*[a-f0-9]+:	f0 f3 48 09 01       	lock xrelease or %rax,\(%rcx\)
   1392 [ 	]*[a-f0-9]+:	f2 f0 48 19 01       	xacquire lock sbb %rax,\(%rcx\)
   1393 [ 	]*[a-f0-9]+:	f2 f0 48 19 01       	xacquire lock sbb %rax,\(%rcx\)
   1394 [ 	]*[a-f0-9]+:	f3 f0 48 19 01       	xrelease lock sbb %rax,\(%rcx\)
   1395 [ 	]*[a-f0-9]+:	f3 f0 48 19 01       	xrelease lock sbb %rax,\(%rcx\)
   1396 [ 	]*[a-f0-9]+:	f0 f2 48 19 01       	lock xacquire sbb %rax,\(%rcx\)
   1397 [ 	]*[a-f0-9]+:	f0 f3 48 19 01       	lock xrelease sbb %rax,\(%rcx\)
   1398 [ 	]*[a-f0-9]+:	f2 f0 48 29 01       	xacquire lock sub %rax,\(%rcx\)
   1399 [ 	]*[a-f0-9]+:	f2 f0 48 29 01       	xacquire lock sub %rax,\(%rcx\)
   1400 [ 	]*[a-f0-9]+:	f3 f0 48 29 01       	xrelease lock sub %rax,\(%rcx\)
   1401 [ 	]*[a-f0-9]+:	f3 f0 48 29 01       	xrelease lock sub %rax,\(%rcx\)
   1402 [ 	]*[a-f0-9]+:	f0 f2 48 29 01       	lock xacquire sub %rax,\(%rcx\)
   1403 [ 	]*[a-f0-9]+:	f0 f3 48 29 01       	lock xrelease sub %rax,\(%rcx\)
   1404 [ 	]*[a-f0-9]+:	f2 f0 48 87 01       	xacquire lock xchg %rax,\(%rcx\)
   1405 [ 	]*[a-f0-9]+:	f2 f0 48 87 01       	xacquire lock xchg %rax,\(%rcx\)
   1406 [ 	]*[a-f0-9]+:	f2 48 87 01          	xacquire xchg %rax,\(%rcx\)
   1407 [ 	]*[a-f0-9]+:	f3 f0 48 87 01       	xrelease lock xchg %rax,\(%rcx\)
   1408 [ 	]*[a-f0-9]+:	f3 f0 48 87 01       	xrelease lock xchg %rax,\(%rcx\)
   1409 [ 	]*[a-f0-9]+:	f3 48 87 01          	xrelease xchg %rax,\(%rcx\)
   1410 [ 	]*[a-f0-9]+:	f0 f2 48 87 01       	lock xacquire xchg %rax,\(%rcx\)
   1411 [ 	]*[a-f0-9]+:	f0 f3 48 87 01       	lock xrelease xchg %rax,\(%rcx\)
   1412 [ 	]*[a-f0-9]+:	f2 f0 48 31 01       	xacquire lock xor %rax,\(%rcx\)
   1413 [ 	]*[a-f0-9]+:	f2 f0 48 31 01       	xacquire lock xor %rax,\(%rcx\)
   1414 [ 	]*[a-f0-9]+:	f3 f0 48 31 01       	xrelease lock xor %rax,\(%rcx\)
   1415 [ 	]*[a-f0-9]+:	f3 f0 48 31 01       	xrelease lock xor %rax,\(%rcx\)
   1416 [ 	]*[a-f0-9]+:	f0 f2 48 31 01       	lock xacquire xor %rax,\(%rcx\)
   1417 [ 	]*[a-f0-9]+:	f0 f3 48 31 01       	lock xrelease xor %rax,\(%rcx\)
   1418 [ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%rcx\)
   1419 [ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%rcx\)
   1420 [ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%rcx\)
   1421 [ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%rcx\)
   1422 [ 	]*[a-f0-9]+:	f0 f2 66 0f bb 01    	lock xacquire btc %ax,\(%rcx\)
   1423 [ 	]*[a-f0-9]+:	f0 f3 66 0f bb 01    	lock xrelease btc %ax,\(%rcx\)
   1424 [ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%rcx\)
   1425 [ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%rcx\)
   1426 [ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%rcx\)
   1427 [ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%rcx\)
   1428 [ 	]*[a-f0-9]+:	f0 f2 66 0f b3 01    	lock xacquire btr %ax,\(%rcx\)
   1429 [ 	]*[a-f0-9]+:	f0 f3 66 0f b3 01    	lock xrelease btr %ax,\(%rcx\)
   1430 [ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%rcx\)
   1431 [ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%rcx\)
   1432 [ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%rcx\)
   1433 [ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%rcx\)
   1434 [ 	]*[a-f0-9]+:	f0 f2 66 0f ab 01    	lock xacquire bts %ax,\(%rcx\)
   1435 [ 	]*[a-f0-9]+:	f0 f3 66 0f ab 01    	lock xrelease bts %ax,\(%rcx\)
   1436 [ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%rcx\)
   1437 [ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%rcx\)
   1438 [ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%rcx\)
   1439 [ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%rcx\)
   1440 [ 	]*[a-f0-9]+:	f0 f2 66 0f b1 01    	lock xacquire cmpxchg %ax,\(%rcx\)
   1441 [ 	]*[a-f0-9]+:	f0 f3 66 0f b1 01    	lock xrelease cmpxchg %ax,\(%rcx\)
   1442 [ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%rcx\)
   1443 [ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%rcx\)
   1444 [ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%rcx\)
   1445 [ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%rcx\)
   1446 [ 	]*[a-f0-9]+:	f0 f2 66 0f c1 01    	lock xacquire xadd %ax,\(%rcx\)
   1447 [ 	]*[a-f0-9]+:	f0 f3 66 0f c1 01    	lock xrelease xadd %ax,\(%rcx\)
   1448 [ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%rcx\)
   1449 [ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%rcx\)
   1450 [ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%rcx\)
   1451 [ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%rcx\)
   1452 [ 	]*[a-f0-9]+:	f0 f2 0f bb 01       	lock xacquire btc %eax,\(%rcx\)
   1453 [ 	]*[a-f0-9]+:	f0 f3 0f bb 01       	lock xrelease btc %eax,\(%rcx\)
   1454 [ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%rcx\)
   1455 [ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%rcx\)
   1456 [ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%rcx\)
   1457 [ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%rcx\)
   1458 [ 	]*[a-f0-9]+:	f0 f2 0f b3 01       	lock xacquire btr %eax,\(%rcx\)
   1459 [ 	]*[a-f0-9]+:	f0 f3 0f b3 01       	lock xrelease btr %eax,\(%rcx\)
   1460 [ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%rcx\)
   1461 [ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%rcx\)
   1462 [ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%rcx\)
   1463 [ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%rcx\)
   1464 [ 	]*[a-f0-9]+:	f0 f2 0f ab 01       	lock xacquire bts %eax,\(%rcx\)
   1465 [ 	]*[a-f0-9]+:	f0 f3 0f ab 01       	lock xrelease bts %eax,\(%rcx\)
   1466 [ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%rcx\)
   1467 [ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%rcx\)
   1468 [ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%rcx\)
   1469 [ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%rcx\)
   1470 [ 	]*[a-f0-9]+:	f0 f2 0f b1 01       	lock xacquire cmpxchg %eax,\(%rcx\)
   1471 [ 	]*[a-f0-9]+:	f0 f3 0f b1 01       	lock xrelease cmpxchg %eax,\(%rcx\)
   1472 [ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%rcx\)
   1473 [ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%rcx\)
   1474 [ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%rcx\)
   1475 [ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%rcx\)
   1476 [ 	]*[a-f0-9]+:	f0 f2 0f c1 01       	lock xacquire xadd %eax,\(%rcx\)
   1477 [ 	]*[a-f0-9]+:	f0 f3 0f c1 01       	lock xrelease xadd %eax,\(%rcx\)
   1478 [ 	]*[a-f0-9]+:	f2 f0 48 0f bb 01    	xacquire lock btc %rax,\(%rcx\)
   1479 [ 	]*[a-f0-9]+:	f2 f0 48 0f bb 01    	xacquire lock btc %rax,\(%rcx\)
   1480 [ 	]*[a-f0-9]+:	f3 f0 48 0f bb 01    	xrelease lock btc %rax,\(%rcx\)
   1481 [ 	]*[a-f0-9]+:	f3 f0 48 0f bb 01    	xrelease lock btc %rax,\(%rcx\)
   1482 [ 	]*[a-f0-9]+:	f0 f2 48 0f bb 01    	lock xacquire btc %rax,\(%rcx\)
   1483 [ 	]*[a-f0-9]+:	f0 f3 48 0f bb 01    	lock xrelease btc %rax,\(%rcx\)
   1484 [ 	]*[a-f0-9]+:	f2 f0 48 0f b3 01    	xacquire lock btr %rax,\(%rcx\)
   1485 [ 	]*[a-f0-9]+:	f2 f0 48 0f b3 01    	xacquire lock btr %rax,\(%rcx\)
   1486 [ 	]*[a-f0-9]+:	f3 f0 48 0f b3 01    	xrelease lock btr %rax,\(%rcx\)
   1487 [ 	]*[a-f0-9]+:	f3 f0 48 0f b3 01    	xrelease lock btr %rax,\(%rcx\)
   1488 [ 	]*[a-f0-9]+:	f0 f2 48 0f b3 01    	lock xacquire btr %rax,\(%rcx\)
   1489 [ 	]*[a-f0-9]+:	f0 f3 48 0f b3 01    	lock xrelease btr %rax,\(%rcx\)
   1490 [ 	]*[a-f0-9]+:	f2 f0 48 0f ab 01    	xacquire lock bts %rax,\(%rcx\)
   1491 [ 	]*[a-f0-9]+:	f2 f0 48 0f ab 01    	xacquire lock bts %rax,\(%rcx\)
   1492 [ 	]*[a-f0-9]+:	f3 f0 48 0f ab 01    	xrelease lock bts %rax,\(%rcx\)
   1493 [ 	]*[a-f0-9]+:	f3 f0 48 0f ab 01    	xrelease lock bts %rax,\(%rcx\)
   1494 [ 	]*[a-f0-9]+:	f0 f2 48 0f ab 01    	lock xacquire bts %rax,\(%rcx\)
   1495 [ 	]*[a-f0-9]+:	f0 f3 48 0f ab 01    	lock xrelease bts %rax,\(%rcx\)
   1496 [ 	]*[a-f0-9]+:	f2 f0 48 0f b1 01    	xacquire lock cmpxchg %rax,\(%rcx\)
   1497 [ 	]*[a-f0-9]+:	f2 f0 48 0f b1 01    	xacquire lock cmpxchg %rax,\(%rcx\)
   1498 [ 	]*[a-f0-9]+:	f3 f0 48 0f b1 01    	xrelease lock cmpxchg %rax,\(%rcx\)
   1499 [ 	]*[a-f0-9]+:	f3 f0 48 0f b1 01    	xrelease lock cmpxchg %rax,\(%rcx\)
   1500 [ 	]*[a-f0-9]+:	f0 f2 48 0f b1 01    	lock xacquire cmpxchg %rax,\(%rcx\)
   1501 [ 	]*[a-f0-9]+:	f0 f3 48 0f b1 01    	lock xrelease cmpxchg %rax,\(%rcx\)
   1502 [ 	]*[a-f0-9]+:	f2 f0 48 0f c1 01    	xacquire lock xadd %rax,\(%rcx\)
   1503 [ 	]*[a-f0-9]+:	f2 f0 48 0f c1 01    	xacquire lock xadd %rax,\(%rcx\)
   1504 [ 	]*[a-f0-9]+:	f3 f0 48 0f c1 01    	xrelease lock xadd %rax,\(%rcx\)
   1505 [ 	]*[a-f0-9]+:	f3 f0 48 0f c1 01    	xrelease lock xadd %rax,\(%rcx\)
   1506 [ 	]*[a-f0-9]+:	f0 f2 48 0f c1 01    	lock xacquire xadd %rax,\(%rcx\)
   1507 [ 	]*[a-f0-9]+:	f0 f3 48 0f c1 01    	lock xrelease xadd %rax,\(%rcx\)
   1508 [ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%rcx\)
   1509 [ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%rcx\)
   1510 [ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%rcx\)
   1511 [ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%rcx\)
   1512 [ 	]*[a-f0-9]+:	f0 f2 fe 09          	lock xacquire decb \(%rcx\)
   1513 [ 	]*[a-f0-9]+:	f0 f3 fe 09          	lock xrelease decb \(%rcx\)
   1514 [ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%rcx\)
   1515 [ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%rcx\)
   1516 [ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%rcx\)
   1517 [ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%rcx\)
   1518 [ 	]*[a-f0-9]+:	f0 f2 fe 01          	lock xacquire incb \(%rcx\)
   1519 [ 	]*[a-f0-9]+:	f0 f3 fe 01          	lock xrelease incb \(%rcx\)
   1520 [ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%rcx\)
   1521 [ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%rcx\)
   1522 [ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%rcx\)
   1523 [ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%rcx\)
   1524 [ 	]*[a-f0-9]+:	f0 f2 f6 19          	lock xacquire negb \(%rcx\)
   1525 [ 	]*[a-f0-9]+:	f0 f3 f6 19          	lock xrelease negb \(%rcx\)
   1526 [ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%rcx\)
   1527 [ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%rcx\)
   1528 [ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%rcx\)
   1529 [ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%rcx\)
   1530 [ 	]*[a-f0-9]+:	f0 f2 f6 11          	lock xacquire notb \(%rcx\)
   1531 [ 	]*[a-f0-9]+:	f0 f3 f6 11          	lock xrelease notb \(%rcx\)
   1532 [ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%rcx\)
   1533 [ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%rcx\)
   1534 [ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%rcx\)
   1535 [ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%rcx\)
   1536 [ 	]*[a-f0-9]+:	f0 f2 66 ff 09       	lock xacquire decw \(%rcx\)
   1537 [ 	]*[a-f0-9]+:	f0 f3 66 ff 09       	lock xrelease decw \(%rcx\)
   1538 [ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%rcx\)
   1539 [ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%rcx\)
   1540 [ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%rcx\)
   1541 [ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%rcx\)
   1542 [ 	]*[a-f0-9]+:	f0 f2 66 ff 01       	lock xacquire incw \(%rcx\)
   1543 [ 	]*[a-f0-9]+:	f0 f3 66 ff 01       	lock xrelease incw \(%rcx\)
   1544 [ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%rcx\)
   1545 [ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%rcx\)
   1546 [ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%rcx\)
   1547 [ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%rcx\)
   1548 [ 	]*[a-f0-9]+:	f0 f2 66 f7 19       	lock xacquire negw \(%rcx\)
   1549 [ 	]*[a-f0-9]+:	f0 f3 66 f7 19       	lock xrelease negw \(%rcx\)
   1550 [ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%rcx\)
   1551 [ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%rcx\)
   1552 [ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%rcx\)
   1553 [ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%rcx\)
   1554 [ 	]*[a-f0-9]+:	f0 f2 66 f7 11       	lock xacquire notw \(%rcx\)
   1555 [ 	]*[a-f0-9]+:	f0 f3 66 f7 11       	lock xrelease notw \(%rcx\)
   1556 [ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%rcx\)
   1557 [ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%rcx\)
   1558 [ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%rcx\)
   1559 [ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%rcx\)
   1560 [ 	]*[a-f0-9]+:	f0 f2 ff 09          	lock xacquire decl \(%rcx\)
   1561 [ 	]*[a-f0-9]+:	f0 f3 ff 09          	lock xrelease decl \(%rcx\)
   1562 [ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%rcx\)
   1563 [ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%rcx\)
   1564 [ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%rcx\)
   1565 [ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%rcx\)
   1566 [ 	]*[a-f0-9]+:	f0 f2 ff 01          	lock xacquire incl \(%rcx\)
   1567 [ 	]*[a-f0-9]+:	f0 f3 ff 01          	lock xrelease incl \(%rcx\)
   1568 [ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%rcx\)
   1569 [ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%rcx\)
   1570 [ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%rcx\)
   1571 [ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%rcx\)
   1572 [ 	]*[a-f0-9]+:	f0 f2 f7 19          	lock xacquire negl \(%rcx\)
   1573 [ 	]*[a-f0-9]+:	f0 f3 f7 19          	lock xrelease negl \(%rcx\)
   1574 [ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%rcx\)
   1575 [ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%rcx\)
   1576 [ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%rcx\)
   1577 [ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%rcx\)
   1578 [ 	]*[a-f0-9]+:	f0 f2 f7 11          	lock xacquire notl \(%rcx\)
   1579 [ 	]*[a-f0-9]+:	f0 f3 f7 11          	lock xrelease notl \(%rcx\)
   1580 [ 	]*[a-f0-9]+:	f2 f0 48 ff 09       	xacquire lock decq \(%rcx\)
   1581 [ 	]*[a-f0-9]+:	f2 f0 48 ff 09       	xacquire lock decq \(%rcx\)
   1582 [ 	]*[a-f0-9]+:	f3 f0 48 ff 09       	xrelease lock decq \(%rcx\)
   1583 [ 	]*[a-f0-9]+:	f3 f0 48 ff 09       	xrelease lock decq \(%rcx\)
   1584 [ 	]*[a-f0-9]+:	f0 f2 48 ff 09       	lock xacquire decq \(%rcx\)
   1585 [ 	]*[a-f0-9]+:	f0 f3 48 ff 09       	lock xrelease decq \(%rcx\)
   1586 [ 	]*[a-f0-9]+:	f2 f0 48 ff 01       	xacquire lock incq \(%rcx\)
   1587 [ 	]*[a-f0-9]+:	f2 f0 48 ff 01       	xacquire lock incq \(%rcx\)
   1588 [ 	]*[a-f0-9]+:	f3 f0 48 ff 01       	xrelease lock incq \(%rcx\)
   1589 [ 	]*[a-f0-9]+:	f3 f0 48 ff 01       	xrelease lock incq \(%rcx\)
   1590 [ 	]*[a-f0-9]+:	f0 f2 48 ff 01       	lock xacquire incq \(%rcx\)
   1591 [ 	]*[a-f0-9]+:	f0 f3 48 ff 01       	lock xrelease incq \(%rcx\)
   1592 [ 	]*[a-f0-9]+:	f2 f0 48 f7 19       	xacquire lock negq \(%rcx\)
   1593 [ 	]*[a-f0-9]+:	f2 f0 48 f7 19       	xacquire lock negq \(%rcx\)
   1594 [ 	]*[a-f0-9]+:	f3 f0 48 f7 19       	xrelease lock negq \(%rcx\)
   1595 [ 	]*[a-f0-9]+:	f3 f0 48 f7 19       	xrelease lock negq \(%rcx\)
   1596 [ 	]*[a-f0-9]+:	f0 f2 48 f7 19       	lock xacquire negq \(%rcx\)
   1597 [ 	]*[a-f0-9]+:	f0 f3 48 f7 19       	lock xrelease negq \(%rcx\)
   1598 [ 	]*[a-f0-9]+:	f2 f0 48 f7 11       	xacquire lock notq \(%rcx\)
   1599 [ 	]*[a-f0-9]+:	f2 f0 48 f7 11       	xacquire lock notq \(%rcx\)
   1600 [ 	]*[a-f0-9]+:	f3 f0 48 f7 11       	xrelease lock notq \(%rcx\)
   1601 [ 	]*[a-f0-9]+:	f3 f0 48 f7 11       	xrelease lock notq \(%rcx\)
   1602 [ 	]*[a-f0-9]+:	f0 f2 48 f7 11       	lock xacquire notq \(%rcx\)
   1603 [ 	]*[a-f0-9]+:	f0 f3 48 f7 11       	lock xrelease notq \(%rcx\)
   1604 [ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%rcx\)
   1605 [ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%rcx\)
   1606 [ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%rcx\)
   1607 [ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%rcx\)
   1608 [ 	]*[a-f0-9]+:	f0 f2 0f c7 09       	lock xacquire cmpxchg8b \(%rcx\)
   1609 [ 	]*[a-f0-9]+:	f0 f3 0f c7 09       	lock xrelease cmpxchg8b \(%rcx\)
   1610 [ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%rcx\)
   1611 [ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%rcx\)
   1612 [ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%rcx\)
   1613 [ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%rcx\)
   1614 [ 	]*[a-f0-9]+:	f0 f2 0f b0 09       	lock xacquire cmpxchg %cl,\(%rcx\)
   1615 [ 	]*[a-f0-9]+:	f0 f3 0f b0 09       	lock xrelease cmpxchg %cl,\(%rcx\)
   1616 [ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%rcx\)
   1617 [ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%rcx\)
   1618 [ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%rcx\)
   1619 [ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%rcx\)
   1620 [ 	]*[a-f0-9]+:	f0 f2 0f c0 09       	lock xacquire xadd %cl,\(%rcx\)
   1621 [ 	]*[a-f0-9]+:	f0 f3 0f c0 09       	lock xrelease xadd %cl,\(%rcx\)
   1622 #pass
   1623