X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmcb.h;h=ebcce6b967e3855d611160cf12b342c1d838199d;hb=4939ecae04ce6416f404670640620a23aee9b914;hp=9e7bf58c4087f4598cc7273960161730da0185d5;hpb=4d691866d964c028d2b2ca96c2d16489d45dd2b5;p=palacios.releases.git diff --git a/palacios/include/geekos/vmcb.h b/palacios/include/geekos/vmcb.h index 9e7bf58..ebcce6b 100644 --- a/palacios/include/geekos/vmcb.h +++ b/palacios/include/geekos/vmcb.h @@ -1,8 +1,16 @@ #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_CTRL_AREA_OFFSET) +#define GET_VMCB_SAVE_STATE_AREA(page) (page + VMCB_STATE_SAVE_AREA_OFFSET) + #if __TINYC__ #define PACKED @@ -10,6 +18,10 @@ #define PACKED __attribute__((packed)) #endif + +typedef void vmcb_t; + + union Ctrl_Registers { ushort_t bitmap PACKED; struct { @@ -57,10 +69,10 @@ union Debug_Registers { union Exception_Vectors { - ulong_t bitmap PACKED; + 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; @@ -91,12 +103,46 @@ 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; }; union Instr_Intercepts { - ulong_t bitmap PACKED; + uint_t bitmap PACKED; struct { uint_t INTR : 1 PACKED; uint_t NMI : 1 PACKED; @@ -134,7 +180,7 @@ union Instr_Intercepts { }; union SVM_Instr_Intercepts { - ulong_t bitmap PACKED; + uint_t bitmap PACKED; struct { uint_t VMRUN : 1 PACKED; uint_t VMMCALL : 1 PACKED; @@ -149,25 +195,197 @@ union SVM_Instr_Intercepts { uint_t MONITOR : 1 PACKED; uint_t MWAIT_always : 1 PACKED; uint_t MWAIT_if_armed : 1 PACKED; - ulong_t reserved : 19 PACKED; + uint_t reserved : 19 PACKED; // Should be 0 } instrs; }; +union Guest_Control { + uint_t bitmap PACKED; + struct { + uchar_t V_TPR PACKED; + uint_t V_IRQ : 1 PACKED; + uint_t rsvd1 : 7 PACKED; // Should be 0 + uint_t V_INTR_PRIO : 4 PACKED; + uint_t V_IGN_TPR : 1 PACKED; + uint_t rsvd2 : 3 PACKED; // Should be 0 + uint_t V_INTR_MASKING : 1 PACKED; + uint_t rsvd3 : 7 PACKED; // Should be 0 + uchar_t V_INTR_VECTOR PACKED; + uint_t rsvd4 : 24 PACKED; // Should be 0 + } ctrls; +}; + + typedef struct VMCB_Control_Area { - union Ctrl_Registers cr_reads PACKED; - union Ctrl_Registers cr_writes PACKED; - union Debug_Registers dr_reads PACKED; - union Debug_Registers dr_writes PACKED; - union Exception_Vectors exceptions PACKED; - union Instr_Intercepts instrs PACKED; + // offset 0x0 + union Ctrl_Registers cr_reads PACKED; + union Ctrl_Registers cr_writes PACKED; + union Debug_Registers dr_reads PACKED; + union Debug_Registers dr_writes PACKED; + union Exception_Vectors exceptions PACKED; + union Instr_Intercepts instrs PACKED; union SVM_Instr_Intercepts svm_instrs PACKED; - char rsvd1[43] PACKED; + + uchar_t rsvd1[44] PACKED; // Should be 0 + + // offset 0x040 + ullong_t IOPM_BASE_PA PACKED; + ullong_t MSRPM_BASE_PA PACKED; + ullong_t TSC_OFFSET PACKED; + + uint_t guest_ASID PACKED; + uchar_t TLB_CONTROL PACKED; + + uchar_t rsvd2[3] PACKED; // Should be 0 + + union Guest_Control guest_ctrl PACKED; + uint_t interrupt_shadow : 1 PACKED; + uint_t rsvd3 : 31 PACKED; // Should be 0 + uint_t rsvd4 PACKED; // Should be 0 + + ullong_t exit_code PACKED; + ullong_t exit_info1 PACKED; + ullong_t exit_info2 PACKED; + + /* This could be a typo in the manual.... + * It doesn't actually say that there is a reserved bit + * But it does say that the EXITINTINFO field is in bits 63-1 + * ALL other occurances mention a 1 bit reserved field + */ + uint_t rsvd5 : 1 PACKED; + ullong_t exit_int_info : 63 PACKED; + /* ** */ + + uint_t NP_ENABLE : 1 PACKED; + ullong_t rsvd6 : 63 PACKED; // Should be 0 + + uchar_t rsvd7[16] PACKED; // Should be 0 + + // Offset 0xA8 + ullong_t EVENTINJ PACKED; + + + /* This could be a typo in the manual.... + * It doesn't actually say that there is a reserved bit + * 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; + ullong_t N_CR3 PACKED; + /* ** */ + + + uint_t LBR_VIRTUALIZATION_ENABLE : 1 PACKED; + ullong_t rsvd9 : 63 PACKED; // Should be 0 + +} vmcb_ctrl_t; + + + + + + +struct vmcb_selector { + ushort_t selector 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 pused 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 { + struct vmcb_selector es PACKED; // only lower 32 bits of base are implemented + struct vmcb_selector cs PACKED; // only lower 32 bits of base are implemented + struct vmcb_selector ss PACKED; // only lower 32 bits of base are implemented + struct vmcb_selector ds PACKED; // only lower 32 bits of base are implemented + struct vmcb_selector fs PACKED; + struct vmcb_selector gs PACKED; + + struct vmcb_selector gdtr PACKED; // selector+attrib are reserved, only lower 16 bits of limit are implemented + struct vmcb_selector ldtr PACKED; + 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[43] PACKED; + + //offset 0x0cb + uchar_t cpl PACKED; // if the guest is real-mode then the CPL is forced to 0 + // if the guest is virtual-mode then the CPL is forced to 3 + + uint_t rsvd2 PACKED; + + // offset 0x0d0 + ullong_t efer PACKED; + + uchar_t rsvd3[112] PACKED; + + //offset 0x148 + ullong_t cr4 PACKED; + ullong_t cr3 PACKED; + ullong_t cr0 PACKED; + ullong_t dr7 PACKED; + ullong_t dr6 PACKED; + ullong_t rflags PACKED; + ullong_t rip PACKED; + + uchar_t rsvd4[88] PACKED; + + //offset 0x1d8 + ullong_t rsp PACKED; + + uchar_t rsvd5[24] PACKED; + + //offset 0x1f8 + ullong_t rax PACKED; + ullong_t star PACKED; + ullong_t lstar PACKED; + ullong_t cstar PACKED; + ullong_t sfmask PACKED; + ullong_t KernelGsBase PACKED; + ullong_t sysenter_cs PACKED; + ullong_t sysenter_esp PACKED; + ullong_t sysenter_eip PACKED; + ullong_t cr2 PACKED; + + + uchar_t rsvd6[32] PACKED; + //offset 0x268 + ullong_t g_pat PACKED; // Guest PAT + // -- only used if nested paging is enabled + ullong_t dbgctl PACKED; // Guest DBGCTL MSR + // -- only used if the LBR registers are virtualized + ullong_t br_from PACKED; // Guest LastBranchFromIP MSR + // -- only used if the LBR registers are virtualized + ullong_t br_to PACKED; // Guest LastBranchToIP MSR + // -- only used if the LBR registers are virtualized + ullong_t lastexcpfrom PACKED; // Guest LastExceptionFromIP MSR + // -- only used if the LBR registers are virtualized + ullong_t lastexcpto PACKED; // Guest LastExceptionToIP MSR + // -- only used if the LBR registers are virtualized -} svm_vmcb_t; +} vmcb_saved_state_t;