X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmcb.h;h=8bce0119b86806b36af922f223d8accfa7ebff2c;hb=271ad3fd89672d441db3c5ffa673ee649e4ce532;hp=e6d609f42f90207c62d9c49a7d087dcb681da8b2;hpb=ff58148c2cfbbc82405dc9ec25056cc93c773083;p=palacios.git diff --git a/palacios/include/geekos/vmcb.h b/palacios/include/geekos/vmcb.h index e6d609f..8bce011 100644 --- a/palacios/include/geekos/vmcb.h +++ b/palacios/include/geekos/vmcb.h @@ -1,13 +1,14 @@ #ifndef __VMCB_H #define __VMCB_H +#include #define VMCB_CTRL_AREA_OFFSET 0x0 #define VMCB_STATE_SAVE_AREA_OFFSET 0x400 -#define GET_VMCB_CTRL_AREA(page) (page + VMCB_CONTROL_AREA_OFFSET) +#define GET_VMCB_CTRL_AREA(page) (page + VMCB_CTRL_AREA_OFFSET) #define GET_VMCB_SAVE_STATE_AREA(page) (page + VMCB_STATE_SAVE_AREA_OFFSET) @@ -17,6 +18,10 @@ #define PACKED __attribute__((packed)) #endif + +typedef void vmcb_t; + + union Ctrl_Registers { ushort_t bitmap PACKED; struct { @@ -66,8 +71,8 @@ union Debug_Registers { union Exception_Vectors { uint_t bitmap PACKED; struct { - uint_t ex0 : 1 PACKED; - uint_t ex1 : 1 PACKED; + uint_t ex0 : 1 PACKED; + uint_t ex1 : 1 PACKED; uint_t ex2 : 1 PACKED; uint_t ex3 : 1 PACKED; uint_t ex4 : 1 PACKED; @@ -98,7 +103,41 @@ union Exception_Vectors { uint_t ex29 : 1 PACKED; uint_t ex30 : 1 PACKED; uint_t ex31 : 1 PACKED; - } exceptions; + } ex_numbers; + struct { + uint_t de : 1 PACKED; // divide by zero + uint_t db : 1 PACKED; // Debug + uint_t nmi : 1 PACKED; // Non-maskable interrupt + uint_t bp : 1 PACKED; // Breakpoint + uint_t of : 1 PACKED; // Overflow + uint_t br : 1 PACKED; // Bound-Range + uint_t ud : 1 PACKED; // Invalid-Opcode + uint_t nm : 1 PACKED; // Device-not-available + uint_t df : 1 PACKED; // Double Fault + uint_t ex9 : 1 PACKED; + uint_t ts : 1 PACKED; // Invalid TSS + uint_t np : 1 PACKED; // Segment-not-present + uint_t ss : 1 PACKED; // Stack + uint_t gp : 1 PACKED; // General Protection Fault + uint_t pf : 1 PACKED; // Page fault + uint_t ex15 : 1 PACKED; + uint_t mf : 1 PACKED; // Floating point exception + uint_t ac : 1 PACKED; // Alignment-check + uint_t mc : 1 PACKED; // Machine Check + uint_t xf : 1 PACKED; // SIMD floating-point + uint_t ex20 : 1 PACKED; + uint_t ex21 : 1 PACKED; + uint_t ex22 : 1 PACKED; + uint_t ex23 : 1 PACKED; + uint_t ex24 : 1 PACKED; + uint_t ex25 : 1 PACKED; + uint_t ex26 : 1 PACKED; + uint_t ex27 : 1 PACKED; + uint_t ex28 : 1 PACKED; + uint_t ex29 : 1 PACKED; + uint_t sx : 1 PACKED; // Security Exception + uint_t ex31 : 1 PACKED; + } ex_names; }; @@ -189,7 +228,7 @@ typedef struct VMCB_Control_Area { union Instr_Intercepts instrs PACKED; union SVM_Instr_Intercepts svm_instrs PACKED; - uchar_t rsvd1[43] PACKED; // Should be 0 + uchar_t rsvd1[44] PACKED; // Should be 0 // offset 0x040 ullong_t IOPM_BASE_PA PACKED; @@ -220,10 +259,11 @@ typedef struct VMCB_Control_Area { ullong_t exit_int_info : 63 PACKED; /* ** */ - uint_t NP_ENABLE : 1 PACKED; - ullong_t rsvd6 : 63 PACKED; // Should be 0 + // uint_t NP_ENABLE : 1 PACKED; + //ullong_t rsvd6 : 63 PACKED; // Should be 0 + ullong_t NP_ENABLE PACKED; - uchar_t rsvd7[15] PACKED; // Should be 0 + uchar_t rsvd7[16] PACKED; // Should be 0 // Offset 0xA8 ullong_t EVENTINJ PACKED; @@ -234,10 +274,12 @@ typedef struct VMCB_Control_Area { * But it does say that the EXITINTINFO field is in bits 63-1 * ALL other occurances mention a 1 bit reserved field */ - uint_t rsvd8 : 1 PACKED; - ullong_t N_CR3 : 63 PACKED; + // uint_t rsvd8 : 1 PACKED; + //ullong_t N_CR3 : 63 PACKED; + ullong_t N_CR3 PACKED; /* ** */ + uint_t LBR_VIRTUALIZATION_ENABLE : 1 PACKED; ullong_t rsvd9 : 63 PACKED; // Should be 0 @@ -250,10 +292,27 @@ typedef struct VMCB_Control_Area { struct vmcb_selector { ushort_t selector PACKED; - ushort_t attrib PACKED; + + /* These attributes are basically a direct map of the attribute fields of a segment desc. + * The segment limit in the middle is removed and the fields are fused together + * There IS empty space at the end... See AMD Arch vol3, sect. 4.7.1, pg 78 + */ + union { + ushort_t raw PACKED; + struct { + uint_t type : 4 PACKED; // segment type, [see Intel vol. 3b, sect. 3.4.5.1 (because I have the books)] + uint_t S : 1 PACKED; // System=0, code/data=1 + uint_t dpl : 2 PACKED; // priviledge level, corresonds to protection ring + uint_t P : 1 PACKED; // present flag + uint_t avl : 1 PACKED; // available for use by system software + uint_t L : 1 PACKED; // long mode (64 bit?) + uint_t db : 1 PACKED; // default op size (0=16 bit seg, 1=32 bit seg) + uint_t G : 1 PACKED; // Granularity, (0=bytes, 1=4k) + } fields; + } attrib; uint_t limit PACKED; ullong_t base PACKED; -} +}; typedef struct VMCB_State_Save_Area { @@ -269,7 +328,7 @@ typedef struct VMCB_State_Save_Area { struct vmcb_selector idtr PACKED; // selector+attrib are reserved, only lower 16 bits of limit are implemented struct vmcb_selector tr PACKED; - uchar_t rsvd1[42] PACKED; + uchar_t rsvd1[43] PACKED; //offset 0x0cb uchar_t cpl PACKED; // if the guest is real-mode then the CPL is forced to 0 @@ -280,7 +339,7 @@ typedef struct VMCB_State_Save_Area { // offset 0x0d0 ullong_t efer PACKED; - uchar_t rsvd3[111] PACKED; + uchar_t rsvd3[112] PACKED; //offset 0x148 ullong_t cr4 PACKED; @@ -291,12 +350,12 @@ typedef struct VMCB_State_Save_Area { ullong_t rflags PACKED; ullong_t rip PACKED; - uchar_t rsvd4[87] PACKED; + uchar_t rsvd4[88] PACKED; //offset 0x1d8 ullong_t rsp PACKED; - uchar_t rsvd5[23] PACKED; + uchar_t rsvd5[24] PACKED; //offset 0x1f8 ullong_t rax PACKED; @@ -311,7 +370,7 @@ typedef struct VMCB_State_Save_Area { ullong_t cr2 PACKED; - uchar_t rsvd6[31] PACKED; + uchar_t rsvd6[32] PACKED; //offset 0x268 ullong_t g_pat PACKED; // Guest PAT @@ -329,5 +388,7 @@ typedef struct VMCB_State_Save_Area { } vmcb_saved_state_t; +void PrintDebugVMCB(vmcb_t * vmcb); + #endif