#objdump: -dw
#name: i386 HLE insns

.*: +file format .*


Disassembly of section .text:

0+ <_start>:
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 11 e8 03 	lock xacquire adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 11 e8 03 	lock xrelease adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 01 e8 03 	lock xacquire addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 01 e8 03 	lock xrelease addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 21 e8 03 	lock xacquire andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 21 e8 03 	lock xrelease andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 c7 01 e8 03    	xrelease movw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 09 e8 03 	lock xacquire orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 09 e8 03 	lock xrelease orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 19 e8 03 	lock xacquire sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 19 e8 03 	lock xrelease sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 29 e8 03 	lock xacquire subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 29 e8 03 	lock xrelease subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 31 e8 03 	lock xacquire xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 31 e8 03 	lock xrelease xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 11 80 96 98 00 	lock xacquire adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 11 80 96 98 00 	lock xrelease adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 01 80 96 98 00 	lock xacquire addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 01 80 96 98 00 	lock xrelease addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 21 80 96 98 00 	lock xacquire andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 21 80 96 98 00 	lock xrelease andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c7 01 80 96 98 00 	xrelease movl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 09 80 96 98 00 	lock xacquire orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 09 80 96 98 00 	lock xrelease orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 19 80 96 98 00 	lock xacquire sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 19 80 96 98 00 	lock xrelease sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 29 80 96 98 00 	lock xacquire subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 29 80 96 98 00 	lock xrelease subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 31 80 96 98 00 	lock xacquire xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 31 80 96 98 00 	lock xrelease xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 11 64    	lock xacquire adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 11 64    	lock xrelease adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 01 64    	lock xacquire addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 01 64    	lock xrelease addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 21 64    	lock xacquire andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 21 64    	lock xrelease andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 39 64 	lock xacquire btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 39 64 	lock xrelease btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 31 64 	lock xacquire btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 31 64 	lock xrelease btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 29 64 	lock xacquire btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 29 64 	lock xrelease btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 c7 01 64 00    	xrelease movw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 09 64    	lock xacquire orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 09 64    	lock xrelease orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 19 64    	lock xacquire sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 19 64    	lock xrelease sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 29 64    	lock xacquire subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 29 64    	lock xrelease subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 31 64    	lock xacquire xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 31 64    	lock xrelease xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 11 64       	lock xacquire adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 11 64       	lock xrelease adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 01 64       	lock xacquire addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 01 64       	lock xrelease addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 21 64       	lock xacquire andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 21 64       	lock xrelease andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 39 64    	lock xacquire btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 39 64    	lock xrelease btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 31 64    	lock xacquire btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 31 64    	lock xrelease btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 29 64    	lock xacquire btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 29 64    	lock xrelease btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c7 01 64 00 00 00 	xrelease movl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 09 64       	lock xacquire orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 09 64       	lock xrelease orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 19 64       	lock xacquire sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 19 64       	lock xrelease sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 29 64       	lock xacquire subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 29 64       	lock xrelease subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 31 64       	lock xacquire xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 31 64       	lock xrelease xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 10 01          	lock xacquire adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 10 01          	lock xrelease adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 00 01          	lock xacquire add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 00 01          	lock xrelease add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 20 01          	lock xacquire and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 20 01          	lock xrelease and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 88 01             	xrelease mov %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 08 01          	lock xacquire or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 08 01          	lock xrelease or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 18 01          	lock xacquire sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 18 01          	lock xrelease sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 28 01          	lock xacquire sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 28 01          	lock xrelease sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 86 01             	xacquire xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 86 01             	xrelease xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 86 01          	lock xacquire xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 86 01          	lock xrelease xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 30 01          	lock xacquire xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 30 01          	lock xrelease xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 11 01       	lock xacquire adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 11 01       	lock xrelease adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 01 01       	lock xacquire add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 01 01       	lock xrelease add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 21 01       	lock xacquire and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 21 01       	lock xrelease and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 89 01          	xrelease mov %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 09 01       	lock xacquire or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 09 01       	lock xrelease or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 19 01       	lock xacquire sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 19 01       	lock xrelease sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 29 01       	lock xacquire sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 29 01       	lock xrelease sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 87 01          	xacquire xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 87 01          	xrelease xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 87 01       	lock xacquire xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 87 01       	lock xrelease xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 31 01       	lock xacquire xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 31 01       	lock xrelease xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 11 01          	lock xacquire adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 11 01          	lock xrelease adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 01 01          	lock xacquire add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 01 01          	lock xrelease add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 21 01          	lock xacquire and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 21 01          	lock xrelease and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 89 01             	xrelease mov %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 09 01          	lock xacquire or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 09 01          	lock xrelease or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 19 01          	lock xacquire sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 19 01          	lock xrelease sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 29 01          	lock xacquire sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 29 01          	lock xrelease sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 87 01             	xacquire xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 87 01             	xrelease xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 87 01          	lock xacquire xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 87 01          	lock xrelease xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 31 01          	lock xacquire xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 31 01          	lock xrelease xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f bb 01    	lock xacquire btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f bb 01    	lock xrelease btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f b3 01    	lock xacquire btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f b3 01    	lock xrelease btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ab 01    	lock xacquire bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ab 01    	lock xrelease bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f b1 01    	lock xacquire cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f b1 01    	lock xrelease cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f c1 01    	lock xacquire xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f c1 01    	lock xrelease xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f bb 01       	lock xacquire btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f bb 01       	lock xrelease btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b3 01       	lock xacquire btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b3 01       	lock xrelease btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ab 01       	lock xacquire bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ab 01       	lock xrelease bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b1 01       	lock xacquire cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b1 01       	lock xrelease cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c1 01       	lock xacquire xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c1 01       	lock xrelease xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 fe 09          	lock xacquire decb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 fe 09          	lock xrelease decb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 fe 01          	lock xacquire incb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 fe 01          	lock xrelease incb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f6 19          	lock xacquire negb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f6 19          	lock xrelease negb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f6 11          	lock xacquire notb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f6 11          	lock xrelease notb \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 ff 09       	lock xacquire decw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 ff 09       	lock xrelease decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 ff 01       	lock xacquire incw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 ff 01       	lock xrelease incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 f7 19       	lock xacquire negw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 f7 19       	lock xrelease negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 f7 11       	lock xacquire notw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 f7 11       	lock xrelease notw \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 ff 09          	lock xacquire decl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 ff 09          	lock xrelease decl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 ff 01          	lock xacquire incl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 ff 01          	lock xrelease incl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f7 19          	lock xacquire negl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f7 19          	lock xrelease negl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f7 11          	lock xacquire notl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f7 11          	lock xrelease notl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c7 09       	lock xacquire cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c7 09       	lock xrelease cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b0 09       	lock xacquire cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b0 09       	lock xrelease cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c0 09       	lock xacquire xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c0 09       	lock xrelease xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 11 e8 03 	xacquire lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 11 e8 03 	xrelease lock adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 11 e8 03 	lock xacquire adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 11 e8 03 	lock xrelease adcw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 01 e8 03 	xacquire lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 01 e8 03 	xrelease lock addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 01 e8 03 	lock xacquire addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 01 e8 03 	lock xrelease addw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 21 e8 03 	xacquire lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 21 e8 03 	xrelease lock andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 21 e8 03 	lock xacquire andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 21 e8 03 	lock xrelease andw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 c7 01 e8 03    	xrelease movw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 09 e8 03 	xacquire lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 09 e8 03 	xrelease lock orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 09 e8 03 	lock xacquire orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 09 e8 03 	lock xrelease orw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 19 e8 03 	xacquire lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 19 e8 03 	xrelease lock sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 19 e8 03 	lock xacquire sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 19 e8 03 	lock xrelease sbbw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 29 e8 03 	xacquire lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 29 e8 03 	xrelease lock subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 29 e8 03 	lock xacquire subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 29 e8 03 	lock xrelease subw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 81 31 e8 03 	xacquire lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 81 31 e8 03 	xrelease lock xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 81 31 e8 03 	lock xacquire xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 81 31 e8 03 	lock xrelease xorw \$0x3e8,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 11 80 96 98 00 	xacquire lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 11 80 96 98 00 	xrelease lock adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 11 80 96 98 00 	lock xacquire adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 11 80 96 98 00 	lock xrelease adcl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 01 80 96 98 00 	xacquire lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 01 80 96 98 00 	xrelease lock addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 01 80 96 98 00 	lock xacquire addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 01 80 96 98 00 	lock xrelease addl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 21 80 96 98 00 	xacquire lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 21 80 96 98 00 	xrelease lock andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 21 80 96 98 00 	lock xacquire andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 21 80 96 98 00 	lock xrelease andl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c7 01 80 96 98 00 	xrelease movl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 09 80 96 98 00 	xacquire lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 09 80 96 98 00 	xrelease lock orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 09 80 96 98 00 	lock xacquire orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 09 80 96 98 00 	lock xrelease orl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 19 80 96 98 00 	xacquire lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 19 80 96 98 00 	xrelease lock sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 19 80 96 98 00 	lock xacquire sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 19 80 96 98 00 	lock xrelease sbbl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 29 80 96 98 00 	xacquire lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 29 80 96 98 00 	xrelease lock subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 29 80 96 98 00 	lock xacquire subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 29 80 96 98 00 	lock xrelease subl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 81 31 80 96 98 00 	xacquire lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 81 31 80 96 98 00 	xrelease lock xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 81 31 80 96 98 00 	lock xacquire xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 81 31 80 96 98 00 	lock xrelease xorl \$0x989680,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 11 64    	xacquire lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 11 64    	xrelease lock adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 11 64    	lock xacquire adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 11 64    	lock xrelease adcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 01 64    	xacquire lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 01 64    	xrelease lock addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 01 64    	lock xacquire addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 01 64    	lock xrelease addw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 21 64    	xacquire lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 21 64    	xrelease lock andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 21 64    	lock xacquire andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 21 64    	lock xrelease andw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 39 64 	xacquire lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 39 64 	xrelease lock btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 39 64 	lock xacquire btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 39 64 	lock xrelease btcw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 31 64 	xacquire lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 31 64 	xrelease lock btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 31 64 	lock xacquire btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 31 64 	lock xrelease btrw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ba 29 64 	xacquire lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ba 29 64 	xrelease lock btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ba 29 64 	lock xacquire btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ba 29 64 	lock xrelease btsw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 c7 01 64 00    	xrelease movw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 09 64    	xacquire lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 09 64    	xrelease lock orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 09 64    	lock xacquire orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 09 64    	lock xrelease orw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 19 64    	xacquire lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 19 64    	xrelease lock sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 19 64    	lock xacquire sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 19 64    	lock xrelease sbbw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 29 64    	xacquire lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 29 64    	xrelease lock subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 29 64    	lock xacquire subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 29 64    	lock xrelease subw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 83 31 64    	xacquire lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 83 31 64    	xrelease lock xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 83 31 64    	lock xacquire xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 83 31 64    	lock xrelease xorw \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 11 64       	xacquire lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 11 64       	xrelease lock adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 11 64       	lock xacquire adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 11 64       	lock xrelease adcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 01 64       	xacquire lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 01 64       	xrelease lock addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 01 64       	lock xacquire addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 01 64       	lock xrelease addl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 21 64       	xacquire lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 21 64       	xrelease lock andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 21 64       	lock xacquire andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 21 64       	lock xrelease andl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 39 64    	xacquire lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 39 64    	xrelease lock btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 39 64    	lock xacquire btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 39 64    	lock xrelease btcl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 31 64    	xacquire lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 31 64    	xrelease lock btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 31 64    	lock xacquire btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 31 64    	lock xrelease btrl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ba 29 64    	xacquire lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ba 29 64    	xrelease lock btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ba 29 64    	lock xacquire btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ba 29 64    	lock xrelease btsl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c7 01 64 00 00 00 	xrelease movl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 09 64       	xacquire lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 09 64       	xrelease lock orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 09 64       	lock xacquire orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 09 64       	lock xrelease orl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 19 64       	xacquire lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 19 64       	xrelease lock sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 19 64       	lock xacquire sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 19 64       	lock xrelease sbbl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 29 64       	xacquire lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 29 64       	xrelease lock subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 29 64       	lock xacquire subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 29 64       	lock xrelease subl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 83 31 64       	xacquire lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 83 31 64       	xrelease lock xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 83 31 64       	lock xacquire xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 83 31 64       	lock xrelease xorl \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 11 64       	xacquire lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 11 64       	xrelease lock adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 11 64       	lock xacquire adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 11 64       	lock xrelease adcb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 01 64       	xacquire lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 01 64       	xrelease lock addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 01 64       	lock xacquire addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 01 64       	lock xrelease addb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 21 64       	xacquire lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 21 64       	xrelease lock andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 21 64       	lock xacquire andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 21 64       	lock xrelease andb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 c6 01 64          	xrelease movb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 09 64       	xacquire lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 09 64       	xrelease lock orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 09 64       	lock xacquire orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 09 64       	lock xrelease orb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 19 64       	xacquire lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 19 64       	xrelease lock sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 19 64       	lock xacquire sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 19 64       	lock xrelease sbbb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 29 64       	xacquire lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 29 64       	xrelease lock subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 29 64       	lock xacquire subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 29 64       	lock xrelease subb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 80 31 64       	xacquire lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 80 31 64       	xrelease lock xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 80 31 64       	lock xacquire xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 80 31 64       	lock xrelease xorb \$0x64,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 10 01          	xacquire lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 10 01          	xrelease lock adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 10 01          	lock xacquire adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 10 01          	lock xrelease adc %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 00 01          	xacquire lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 00 01          	xrelease lock add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 00 01          	lock xacquire add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 00 01          	lock xrelease add %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 20 01          	xacquire lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 20 01          	xrelease lock and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 20 01          	lock xacquire and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 20 01          	lock xrelease and %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 88 01             	xrelease mov %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 08 01          	xacquire lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 08 01          	xrelease lock or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 08 01          	lock xacquire or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 08 01          	lock xrelease or %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 18 01          	xacquire lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 18 01          	xrelease lock sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 18 01          	lock xacquire sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 18 01          	lock xrelease sbb %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 28 01          	xacquire lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 28 01          	xrelease lock sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 28 01          	lock xacquire sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 28 01          	lock xrelease sub %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 86 01          	xacquire lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 86 01             	xacquire xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 86 01          	xrelease lock xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 86 01             	xrelease xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 86 01          	lock xacquire xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 86 01          	lock xrelease xchg %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 30 01          	xacquire lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 30 01          	xrelease lock xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 30 01          	lock xacquire xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 30 01          	lock xrelease xor %al,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 11 01       	xacquire lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 11 01       	xrelease lock adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 11 01       	lock xacquire adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 11 01       	lock xrelease adc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 01 01       	xacquire lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 01 01       	xrelease lock add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 01 01       	lock xacquire add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 01 01       	lock xrelease add %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 21 01       	xacquire lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 21 01       	xrelease lock and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 21 01       	lock xacquire and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 21 01       	lock xrelease and %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 89 01          	xrelease mov %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 09 01       	xacquire lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 09 01       	xrelease lock or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 09 01       	lock xacquire or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 09 01       	lock xrelease or %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 19 01       	xacquire lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 19 01       	xrelease lock sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 19 01       	lock xacquire sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 19 01       	lock xrelease sbb %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 29 01       	xacquire lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 29 01       	xrelease lock sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 29 01       	lock xacquire sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 29 01       	lock xrelease sub %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 87 01       	xacquire lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 87 01          	xacquire xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 87 01       	xrelease lock xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 87 01          	xrelease xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 87 01       	lock xacquire xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 87 01       	lock xrelease xchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 31 01       	xacquire lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 31 01       	xrelease lock xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 31 01       	lock xacquire xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 31 01       	lock xrelease xor %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 11 01          	xacquire lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 11 01          	xrelease lock adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 11 01          	lock xacquire adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 11 01          	lock xrelease adc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 01 01          	xacquire lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 01 01          	xrelease lock add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 01 01          	lock xacquire add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 01 01          	lock xrelease add %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 21 01          	xacquire lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 21 01          	xrelease lock and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 21 01          	lock xacquire and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 21 01          	lock xrelease and %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 89 01             	xrelease mov %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 09 01          	xacquire lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 09 01          	xrelease lock or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 09 01          	lock xacquire or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 09 01          	lock xrelease or %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 19 01          	xacquire lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 19 01          	xrelease lock sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 19 01          	lock xacquire sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 19 01          	lock xrelease sbb %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 29 01          	xacquire lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 29 01          	xrelease lock sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 29 01          	lock xacquire sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 29 01          	lock xrelease sub %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 87 01          	xacquire lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 87 01             	xacquire xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 87 01          	xrelease lock xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 87 01             	xrelease xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 87 01          	lock xacquire xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 87 01          	lock xrelease xchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 31 01          	xacquire lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 31 01          	xrelease lock xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 31 01          	lock xacquire xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 31 01          	lock xrelease xor %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f bb 01    	xacquire lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f bb 01    	xrelease lock btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f bb 01    	lock xacquire btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f bb 01    	lock xrelease btc %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b3 01    	xacquire lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b3 01    	xrelease lock btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f b3 01    	lock xacquire btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f b3 01    	lock xrelease btr %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f ab 01    	xacquire lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f ab 01    	xrelease lock bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f ab 01    	lock xacquire bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f ab 01    	lock xrelease bts %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f b1 01    	xacquire lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f b1 01    	xrelease lock cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f b1 01    	lock xacquire cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f b1 01    	lock xrelease cmpxchg %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 0f c1 01    	xacquire lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 0f c1 01    	xrelease lock xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 0f c1 01    	lock xacquire xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 0f c1 01    	lock xrelease xadd %ax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f bb 01       	xacquire lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f bb 01       	xrelease lock btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f bb 01       	lock xacquire btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f bb 01       	lock xrelease btc %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b3 01       	xacquire lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b3 01       	xrelease lock btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b3 01       	lock xacquire btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b3 01       	lock xrelease btr %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f ab 01       	xacquire lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f ab 01       	xrelease lock bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f ab 01       	lock xacquire bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f ab 01       	lock xrelease bts %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b1 01       	xacquire lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b1 01       	xrelease lock cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b1 01       	lock xacquire cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b1 01       	lock xrelease cmpxchg %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c1 01       	xacquire lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c1 01       	xrelease lock xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c1 01       	lock xacquire xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c1 01       	lock xrelease xadd %eax,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 09          	xacquire lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 09          	xrelease lock decb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 fe 09          	lock xacquire decb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 fe 09          	lock xrelease decb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 fe 01          	xacquire lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 fe 01          	xrelease lock incb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 fe 01          	lock xacquire incb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 fe 01          	lock xrelease incb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 19          	xacquire lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 19          	xrelease lock negb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f6 19          	lock xacquire negb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f6 19          	lock xrelease negb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f6 11          	xacquire lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f6 11          	xrelease lock notb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f6 11          	lock xacquire notb \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f6 11          	lock xrelease notb \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 09       	xacquire lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 09       	xrelease lock decw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 ff 09       	lock xacquire decw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 ff 09       	lock xrelease decw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 ff 01       	xacquire lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 ff 01       	xrelease lock incw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 ff 01       	lock xacquire incw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 ff 01       	lock xrelease incw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 19       	xacquire lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 19       	xrelease lock negw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 f7 19       	lock xacquire negw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 f7 19       	lock xrelease negw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f2 f0 f7 11       	xacquire lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	66 f3 f0 f7 11       	xrelease lock notw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 66 f7 11       	lock xacquire notw \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 66 f7 11       	lock xrelease notw \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 09          	xacquire lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 09          	xrelease lock decl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 ff 09          	lock xacquire decl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 ff 09          	lock xrelease decl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 ff 01          	xacquire lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 ff 01          	xrelease lock incl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 ff 01          	lock xacquire incl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 ff 01          	lock xrelease incl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 19          	xacquire lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 19          	xrelease lock negl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f7 19          	lock xacquire negl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f7 19          	lock xrelease negl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 f7 11          	xacquire lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 f7 11          	xrelease lock notl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 f7 11          	lock xacquire notl \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 f7 11          	lock xrelease notl \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c7 09       	xacquire lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c7 09       	xrelease lock cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c7 09       	lock xacquire cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c7 09       	lock xrelease cmpxchg8b \(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f b0 09       	xacquire lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f b0 09       	xrelease lock cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f b0 09       	lock xacquire cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f b0 09       	lock xrelease cmpxchg %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f2 f0 0f c0 09       	xacquire lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f3 f0 0f c0 09       	xrelease lock xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f2 0f c0 09       	lock xacquire xadd %cl,\(%ecx\)
[ 	]*[a-f0-9]+:	f0 f3 0f c0 09       	lock xrelease xadd %cl,\(%ecx\)
#pass