#objdump: -dw
#name: x86-64 HLE insns

.*: +file format .*


Disassembly of section .text:

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