3 #name: i386 WAITPKG insns (Intel disassembly)
9 Disassembly of section \.text:
12 [ ]*[a-f0-9]+:[ ]*f3 0f ae f0[ ]*umonitor eax
13 [ ]*[a-f0-9]+:[ ]*67 f3 0f ae f1[ ]*umonitor cx
14 [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait ecx
15 [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause ecx