#ifndef __VMCB_H
#define __VMCB_H
+#include <geekos/ktypes.h>
+#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
#define PACKED __attribute__((packed))
#endif
+
+typedef void vmcb_t;
+
+
union Ctrl_Registers {
ushort_t bitmap PACKED;
struct {
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;
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;
};
union SVM_Instr_Intercepts {
- ulong_t bitmap PACKED;
+ uint_t bitmap PACKED;
struct {
uint_t VMRUN : 1 PACKED;
uint_t VMMCALL : 1 PACKED;
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
+ ullong_t NP_ENABLE PACKED;
+
+ 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 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 {
+ 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;
-} svm_vmcb_t;
+ //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
+} vmcb_saved_state_t;
+void PrintDebugVMCB(vmcb_t * vmcb);
#endif