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 [ 	]*[a-f0-9]+:	0f 01 c1[ 	]*vmcall *
26 [ 	]*[a-f0-9]+:	0f 01 c2[ 	]*vmlaunch *
27 [ 	]*[a-f0-9]+:	0f 01 c3[ 	]*vmresume *
28 [ 	]*[a-f0-9]+:	0f 01 c4[ 	]*vmxoff *
29 [ 	]*[a-f0-9]+:	67 66 0f c7 30[ 	]*vmclear \(%bx,%si\)
30 [ 	]*[a-f0-9]+:	67 0f c7 30[ 	]*vmptrld \(%bx,%si\)
31 [ 	]*[a-f0-9]+:	67 0f c7 38[ 	]*vmptrst \(%bx,%si\)
32 [ 	]*[a-f0-9]+:	67 f3 0f c7 30[ 	]*vmxon  \(%bx,%si\)
33 [ 	]*[a-f0-9]+:	0f 78 c3[ 	]*vmread %eax,%ebx
34 [ 	]*[a-f0-9]+:	0f 78 c3[ 	]*vmread %eax,%ebx
35 [ 	]*[a-f0-9]+:	67 0f 78 03[ 	]*vmread %eax,\(%bp,%di\)
36 [ 	]*[a-f0-9]+:	67 0f 78 03[ 	]*vmread %eax,\(%bp,%di\)
37 [ 	]*[a-f0-9]+:	0f 79 d8[ 	]*vmwrite %eax,%ebx
38 [ 	]*[a-f0-9]+:	0f 79 d8[ 	]*vmwrite %eax,%ebx
39 [ 	]*[a-f0-9]+:	67 0f 79 18[ 	]*vmwrite \(%bx,%si\),%ebx
40 [ 	]*[a-f0-9]+:	67 0f 79 18[ 	]*vmwrite \(%bx,%si\),%ebx
41 #pass
42