Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


change pci devices to be more generic.
[palacios.git] / utils / vmx.patch
1 Index: insns.dat
2 ===================================================================
3 RCS file: /home/jarusl/nasm-0.98.39-vmx/insns.dat
4 retrieving revision 1.46
5 diff -u -p -w -r1.46 insns.dat
6 --- insns.dat   2 Sep 2003 21:38:48 -0000       1.46
7 +++ insns.dat   28 Feb 2006 00:43:59 -0000
8 @@ -1673,3 +1673,17 @@ MOVSHDUP xmmreg,mem              \301\3\xF3\x0F\x16\
9  MOVSHDUP       xmmreg,xmmreg           \3\xF3\x0F\x16\110              PRESCOTT,SSE3
10  MOVSLDUP       xmmreg,mem              \301\3\xF3\x0F\x12\110          PRESCOTT,SSE3
11  MOVSLDUP       xmmreg,xmmreg           \3\xF3\x0F\x12\110              PRESCOTT,SSE3
12 +
13 +; VMX Instructions
14 +VMCALL         void                    \3\x0F\x01\xC1                  VMX
15 +VMCLEAR                mem                     \3\x66\x0F\xC7\206              VMX
16 +VMLAUNCH       void                    \3\x0F\x01\xC2                  VMX
17 +VMPTRLD                mem                     \2\x0F\xC7\206                  VMX
18 +VMPTRST                mem                     \2\x0F\xC7\207                  VMX
19 +VMREAD         mem,reg32               \2\x0F\x78\101                  VMX
20 +VMREAD         reg32,reg32             \2\x0F\x78\101                  VMX
21 +VMRESUME       void                    \3\x0F\x01\xC3                  VMX
22 +VMWRITE                reg32,mem               \2\x0F\x79\110                  VMX
23 +VMWRITE                reg32,reg32             \2\x0F\x79\110                  VMX
24 +VMXOFF         void                    \3\x0F\x01\xC4                  VMX
25 +VMXON          mem                     \3\xF3\x0F\xC7\206              VMX
26 Index: insns.h
27 ===================================================================
28 RCS file: /home/jarusl/nasm-0.98.39-vmx/insns.h
29 retrieving revision 1.31
30 diff -u -p -w -r1.31 insns.h
31 --- insns.h     15 Jan 2005 22:15:51 -0000      1.31
32 +++ insns.h     28 Feb 2006 00:43:59 -0000
33 @@ -78,6 +78,7 @@ struct itemplate {
34  #define IF_SSE    0x00010000UL  /* it's a SSE (KNI, MMX2) instruction */
35  #define IF_SSE2   0x00020000UL  /* it's a SSE2 instruction */
36  #define IF_SSE3   0x00040000UL  /* it's a SSE3 (PNI) instruction */
37 +#define IF_VMX   0x00080000UL  /* it's a VMX instruction */
38  #define IF_PMASK  0xFF000000UL  /* the mask for processor types */
39  #define IF_PLEVEL 0x0F000000UL  /* the mask for processor instr. level */
40                                          /* also the highest possible processor */
41