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