X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_handler.h;h=20561f8461f0403871b4c77b86ebb291fd814b21;hb=a9e204d157a33976ca454b2ce8b161c2a5501b14;hp=7525edb302dbec98733706c9a48db70a76c86209;hpb=cbe9bc8587261deb3aaee94a100594d88bc9765f;p=palacios.git diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h index 7525edb..20561f8 100644 --- a/palacios/include/palacios/vmx_handler.h +++ b/palacios/include/palacios/vmx_handler.h @@ -24,6 +24,7 @@ #include + /******************************************/ /* VMX Intercept Exit Codes */ /******************************************/ @@ -60,12 +61,12 @@ typedef enum { VMEXIT_IO_INSTR = 30, VMEXIT_RDMSR = 31, VMEXIT_WRMSR = 32, - VMEXIT_ENTRY_FAIL_INVALID_GUEST_STATE = 33, - VMEXIT_ENTRY_FAIL_MSR_LOAD = 34, + VMEXIT_INVALID_GUEST_STATE = 33, + VMEXIT_INVALID_MSR_LOAD = 34, VMEXIT_MWAIT = 36, VMEXIT_MONITOR = 39, VMEXIT_PAUSE = 40, - VMEXIT_ENTRY_FAILURE_MACHINE_CHECK = 41, + VMEXIT_INVALID_MACHINE_CHECK = 41, VMEXIT_TPR_BELOW_THRESHOLD = 43, VMEXIT_APIC = 44, VMEXIT_GDTR_IDTR = 46, @@ -81,16 +82,64 @@ typedef enum { } vmx_exit_t; /* VMCS Exit QUALIFICATIONs */ -struct vmexit_io_qual { - uint32_t access_size : 3; // (0: 1 Byte ;; 1: 2 Bytes ;; 3: 4 Bytes) - uint32_t dir : 1; // (0: Out ;; 1: In) - uint32_t string : 1; // (0: not string ;; 1: string) - uint32_t REP : 1; // (0: not REP ;; 1: REP) - uint32_t op_enc : 1; // (0: DX ;; 1: immediate) - uint32_t rsvd : 9; // Set to 0 - uint32_t port : 16; // IO Port Number +struct vmx_exit_io_qual { + union { + uint32_t value; + struct { + uint32_t access_size : 3; // (0: 1 Byte ;; 1: 2 Bytes ;; 3: 4 Bytes) + uint32_t dir : 1; // (0: Out ;; 1: In) + uint32_t string : 1; // (0: not string ;; 1: string) + uint32_t rep : 1; // (0: not REP ;; 1: REP) + uint32_t op_enc : 1; // (0: DX ;; 1: immediate) + uint32_t rsvd : 9; // Set to 0 + uint32_t port : 16; // IO Port Number + } __attribute__((packed)); + } __attribute__((packed)); +} __attribute__((packed)); + +struct vmx_exit_io_instr_info { + union { + uint32_t value; + struct { + uint32_t undef1 : 7; + uint32_t addr_size : 3; + uint32_t undef2 : 5; + uint32_t seg_reg : 3; + uint32_t undef3 : 14; + } __attribute__((packed)); + } __attribute__((packed)); +} __attribute__((packed)); + +/* Exit Interrupt Vector Info */ +struct vmx_exit_int_info { + union { + uint32_t value; + struct { + uint32_t vector : 8; // IRQ number, exception vector, NMI = 2 + uint32_t type : 3; // (0: ext. IRQ , 2: NMI , 3: hw exception , 6: sw exception + uint32_t error_code : 1; // 1: error Code present + uint32_t nmi_unblock : 1; // something to do with NMIs and IRETs (Intel 3B, sec. 23.2.2) + uint32_t rsvd : 18; // always 0 + uint32_t valid : 1; // always 1 if valid + } __attribute__ ((packed)); + } __attribute__ ((packed)); } __attribute__((packed)); +/* VMX entry interrupt format */ +struct vmx_entry_int_info { + union { + uint32_t value; + struct { + uint32_t vector : 8; // IRQ/exception vector number + uint32_t type : 3; // (0: ext. IRQ, 2: NMI, 3: hw excp, 4: sw int, 5: priv. sw excp, 6: sw excp, 7: other + uint32_t error_code : 1; // 1: deliver error code + uint32_t rsvd : 19; + uint32_t valid : 1; // 1: valid + } __attribute__ ((packed)); + } __attribute__ ((packed)); +} __attribute__ ((packed)); + + struct VMExitDBGQual { @@ -104,20 +153,25 @@ struct VMExitDBGQual { } __attribute__((packed)); -struct VMExitTSQual { + struct VMExitTSQual { uint32_t selector : 16; // selector of destination TSS uint32_t rsvd : 14; // reserved to 0 uint32_t src : 2; // (0: CALL ; 1: IRET ; 2: JMP ; 3: Task gate in IDT) } __attribute__((packed)); -struct vmexit_cr_qual { - uint32_t cr_id : 4; // cr number (0 for CLTS and LMSW) (bit 3 always 0, on 32bit) - uint32_t access_type : 2; // (0: MOV to CR ; 1: MOV from CR ; 2: CLTS ; 3: LMSW) - uint32_t lmsw_op_type : 1; // (0: register ; 1: memory) - uint32_t rsvd1 : 1; // reserved to 0 - uint32_t gpr : 4; // (0:RAX+[CLTS/LMSW], 1:RCX, 2:RDX, 3:RBX, 4:RSP, 5:RBP, 6:RSI, 6:RDI, 8-15:64bit regs) - uint32_t rsvd2 : 4; // reserved to 0 - uint32_t lmsw_src : 16; // src data for lmsw +struct vmx_exit_cr_qual { + union { + uint32_t value; + struct { + uint32_t cr_id : 4; // cr number (0 for CLTS and LMSW) (bit 3 always 0, on 32bit) + uint32_t access_type : 2; // (0: MOV to CR ; 1: MOV from CR ; 2: CLTS ; 3: LMSW) + uint32_t lmsw_op_type : 1; // (0: register ; 1: memory) + uint32_t rsvd1 : 1; // reserved to 0 + uint32_t gpr : 4; // (0:RAX+[CLTS/LMSW], 1:RCX, 2:RDX, 3:RBX, 4:RSP, 5:RBP, 6:RSI, 6:RDI, 8-15:64bit regs) + uint32_t rsvd2 : 4; // reserved to 0 + uint32_t lmsw_src : 16; // src data for lmsw + } __attribute__((packed)); + } __attribute__((packed)); } __attribute__((packed)); struct VMExitMovDRQual { @@ -130,8 +184,60 @@ struct VMExitMovDRQual { /* End Exit Qualifications */ +struct vmx_exit_idt_vec_info { + union { + uint32_t value; + struct { + uint32_t vector : 8; + uint32_t type : 3; + uint32_t error_code : 1; + uint32_t undef : 1; + uint32_t rsvd : 18; + uint32_t valid : 1; + } __attribute__ ((packed)); + } __attribute__ ((packed)); +} __attribute__ ((packed)); + + + +struct vmx_basic_exit_info { + union { + uint32_t value; + struct { + uint16_t reason; + uint16_t rsvd1 :12; + uint8_t mtf_pending : 1; + uint8_t vmx_root_op : 1; + uint8_t rsvd2 : 1; + uint8_t entry_error : 1; + } __attribute__((packed)); + } __attribute__((packed)); +} __attribute__((packed)); + + +struct vmx_exit_info { + uint32_t instr_len; + uint32_t instr_info; + + uint32_t exit_reason; + addr_t exit_qual; + + uint32_t int_info; + uint32_t int_err; + + addr_t guest_linear_addr; + + /* EPT INFO */ + addr_t ept_fault_addr; + +}; + + + -int v3_handle_vmx_exit(struct v3_gprs * gprs, struct guest_info * info); +int v3_handle_atomic_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_info); +int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_info); +const char * v3_vmx_exit_code_to_str(vmx_exit_t exit); #endif