#objdump: -dwMsuffix #name: x86-64 rep prefix (with suffixes) .*: +file format .* Disassembly of section .text: 0+ : [ ]*[a-f0-9]+: 0f 01 c8 monitor %rax,%rcx,%rdx [ ]*[a-f0-9]+: 0f 01 c9 mwait %rax,%rcx [ ]*[a-f0-9]+: 0f 01 c1 vmcall [ ]*[a-f0-9]+: 0f 01 c2 vmlaunch [ ]*[a-f0-9]+: 0f 01 c3 vmresume [ ]*[a-f0-9]+: 0f 01 c4 vmxoff [ ]*[a-f0-9]+: 66 cf iretw [ ]*[a-f0-9]+: cf iretl [ ]*[a-f0-9]+: cf iretl [ ]*[a-f0-9]+: 48 cf iretq [ ]*[a-f0-9]+: 0f 07 sysretl [ ]*[a-f0-9]+: 0f 07 sysretl [ ]*[a-f0-9]+: 48 0f 07 sysretq [ ]*[a-f0-9]+: 66 cf iretw [ ]*[a-f0-9]+: cf iretl [ ]*[a-f0-9]+: cf iretl [ ]*[a-f0-9]+: 48 cf iretq [ ]*[a-f0-9]+: 0f 07 sysretl [ ]*[a-f0-9]+: 0f 07 sysretl [ ]*[a-f0-9]+: 48 0f 07 sysretq #pass