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