1 #as:
2 #objdump: -dw -Mintel
3 #name: x86_64 WAITPKG insns (Intel disassembly)
4 #source: x86-64-waitpkg.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section \.text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:[ 	]*f3 0f ae f0[ 	]*umonitor rax
13 [ 	]*[a-f0-9]+:[ 	]*f3 41 0f ae f2[ 	]*umonitor r10
14 [ 	]*[a-f0-9]+:[ 	]*67 f3 41 0f ae f2[ 	]*umonitor r10d
15 [ 	]*[a-f0-9]+:[ 	]*f2 0f ae f1[ 	]*umwait ecx
16 [ 	]*[a-f0-9]+:[ 	]*f2 41 0f ae f2[ 	]*umwait r10d
17 [ 	]*[a-f0-9]+:[ 	]*f2 0f ae f7[ 	]*umwait edi
18 [ 	]*[a-f0-9]+:[ 	]*66 0f ae f1[ 	]*tpause ecx
19 [ 	]*[a-f0-9]+:[ 	]*66 41 0f ae f2[ 	]*tpause r10d
20 [ 	]*[a-f0-9]+:[ 	]*66 0f ae f7[ 	]*tpause edi
21 [ 	]*[a-f0-9]+:[ 	]*f2 0f ae f6[ 	]*umwait esi
22 [ 	]*[a-f0-9]+:[ 	]*66 0f ae f6[ 	]*tpause esi
23 #pass
24