1 #source: ../x86-64-vmx.s 2 #objdump: -dw 3 #name: x86-64 (ILP32) VMX 4 5 .*: +file format .* 6 7 Disassembly of section .text: 8 9 0+000 <foo>: 10 0: 0f 01 c1 [ ]*vmcall 11 3: 0f 01 c2 [ ]*vmlaunch 12 6: 0f 01 c3 [ ]*vmresume 13 9: 0f 01 c4 [ ]*vmxoff 14 c: 66 0f c7 30 [ ]*vmclear \(%rax\) 15 10: 0f c7 30 [ ]*vmptrld \(%rax\) 16 13: 0f c7 38 [ ]*vmptrst \(%rax\) 17 16: f3 0f c7 30 [ ]*vmxon \(%rax\) 18 1a: 0f 78 c3 [ ]*vmread %rax,%rbx 19 1d: 0f 78 c3 [ ]*vmread %rax,%rbx 20 20: 0f 78 03 [ ]*vmread %rax,\(%rbx\) 21 23: 0f 78 03 [ ]*vmread %rax,\(%rbx\) 22 26: 0f 79 d8 [ ]*vmwrite %rax,%rbx 23 29: 0f 79 d8 [ ]*vmwrite %rax,%rbx 24 2c: 0f 79 18 [ ]*vmwrite \(%rax\),%rbx 25 2f: 0f 79 18 [ ]*vmwrite \(%rax\),%rbx 26 ... 27