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