3 #name: x86_64 WAITPKG insns (Intel disassembly)
4 #source: x86-64-waitpkg.s
9 Disassembly of section \.text:
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 0f ae f1[ ]*umwait ecx
17 [ ]*[a-f0-9]+:[ ]*f2 41 0f ae f2[ ]*umwait r10d
18 [ ]*[a-f0-9]+:[ ]*f2 41 0f ae f2[ ]*umwait r10d
19 [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause ecx
20 [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause ecx
21 [ ]*[a-f0-9]+:[ ]*66 41 0f ae f2[ ]*tpause r10d
22 [ ]*[a-f0-9]+:[ ]*66 41 0f ae f2[ ]*tpause r10d