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.


Corrected APIC IPI and IRQ dispatch routines
[palacios.git] / bios / vmxassist / offsets.h
1 /* MACHINE GENERATED; DO NOT EDIT */
2 #define VMX_ASSIST_CTX_GS_SEL   0x78
3 #define VMX_ASSIST_CTX_FS_SEL   0x68
4 #define VMX_ASSIST_CTX_DS_SEL   0x38
5 #define VMX_ASSIST_CTX_ES_SEL   0x48
6 #define VMX_ASSIST_CTX_SS_SEL   0x58
7 #define VMX_ASSIST_CTX_ESP      0x4
8 #define VMX_ASSIST_CTX_EFLAGS   0x8
9 #define VMX_ASSIST_CTX_CS_SEL   0x28
10 #define VMX_ASSIST_CTX_EIP      0x0
11 #define VMX_ASSIST_CTX_CR0      0xc