#ifdef __V3VEE__
+#include <palacios/vm_guest.h>
/******************************************/
/* VMX Intercept Exit Codes */
/******************************************/
-#define VMEXIT_INFO_EXCEPTION_OR_NMI 0
-#define VMEXIT_EXTERNAL_INTR 1
-#define VMEXIT_TRIPLE_FAULT 2
-#define VMEXIT_INIT_SIGNAL 3
-#define VMEXIT_STARTUP_IPI 4
-#define VMEXIT_IO_SMI 5
-#define VMEXIT_OTHER_SMI 6
-#define VMEXIT_INTR_WINDOW 7
-#define VMEXIT_NMI_WINDOW 8
-#define VMEXIT_TASK_SWITCH 9
-#define VMEXIT_CPUID 10
-#define VMEXIT_HLT 12
-#define VMEXIT_INVD 13
-#define VMEXIT_INVLPG 14
-#define VMEXIT_RDPMC 15
-#define VMEXIT_RDTSC 16
-#define VMEXIT_RSM 17
-#define VMEXIT_VMCALL 18
-#define VMEXIT_VMCLEAR 19
-#define VMEXIT_VMLAUNCH 20
-#define VMEXIT_VMPTRLD 21
-#define VMEXIT_VMPTRST 22
-#define VMEXIT_VMREAD 23
-#define VMEXIT_VMRESUME 24
-#define VMEXIT_VMWRITE 25
-#define VMEXIT_VMXOFF 26
-#define VMEXIT_VMXON 27
-#define VMEXIT_CR_REG_ACCESSES 28
-#define VMEXIT_MOV_DR 29
-#define VMEXIT_IO_INSTR 30
-#define VMEXIT_RDMSR 31
-#define VMEXIT_WRMSR 32
-#define VMEXIT_ENTRY_FAIL_INVALID_GUEST_STATE 33
-#define VMEXIT_ENTRY_FAIL_MSR_LOAD 34
-#define VMEXIT_MWAIT 36
-#define VMEXIT_MONITOR 39
-#define VMEXIT_PAUSE 40
-#define VMEXIT_ENTRY_FAILURE_MACHINE_CHECK 41
-#define VMEXIT_TPR_BELOW_THRESHOLD 43
+typedef enum {
+ VMEXIT_INFO_EXCEPTION_OR_NMI = 0,
+ VMEXIT_EXTERNAL_INTR = 1,
+ VMEXIT_TRIPLE_FAULT = 2,
+ VMEXIT_INIT_SIGNAL = 3,
+ VMEXIT_STARTUP_IPI = 4,
+ VMEXIT_IO_SMI = 5,
+ VMEXIT_OTHER_SMI = 6,
+ VMEXIT_INTR_WINDOW = 7,
+ VMEXIT_NMI_WINDOW = 8,
+ VMEXIT_TASK_SWITCH = 9,
+ VMEXIT_CPUID = 10,
+ VMEXIT_HLT = 12,
+ VMEXIT_INVD = 13,
+ VMEXIT_INVLPG = 14,
+ VMEXIT_RDPMC = 15,
+ VMEXIT_RDTSC = 16,
+ VMEXIT_RSM = 17,
+ VMEXIT_VMCALL = 18,
+ VMEXIT_VMCLEAR = 19,
+ VMEXIT_VMLAUNCH = 20,
+ VMEXIT_VMPTRLD = 21,
+ VMEXIT_VMPTRST = 22,
+ VMEXIT_VMREAD = 23,
+ VMEXIT_VMRESUME = 24,
+ VMEXIT_VMWRITE = 25,
+ VMEXIT_VMXOFF = 26,
+ VMEXIT_VMXON = 27,
+ VMEXIT_CR_REG_ACCESSES = 28,
+ VMEXIT_MOV_DR = 29,
+ VMEXIT_IO_INSTR = 30,
+ VMEXIT_RDMSR = 31,
+ VMEXIT_WRMSR = 32,
+ VMEXIT_ENTRY_FAIL_INVALID_GUEST_STATE = 33,
+ VMEXIT_ENTRY_FAIL_MSR_LOAD = 34,
+ VMEXIT_MWAIT = 36,
+ VMEXIT_MONITOR = 39,
+ VMEXIT_PAUSE = 40,
+ VMEXIT_ENTRY_FAILURE_MACHINE_CHECK = 41,
+ VMEXIT_TPR_BELOW_THRESHOLD = 43,
+ VMEXIT_APIC = 44,
+ VMEXIT_GDTR_IDTR = 46,
+ VMEXIT_LDTR_TR = 47,
+ VMEXIT_EPT_VIOLATION = 48,
+ VMEXIT_EPT_CONFIG = 49,
+ VMEXIT_INVEPT = 50,
+ VMEXIT_RDTSCP = 51,
+ VMEXIT_EXPIRED_PREEMPT_TIMER = 52,
+ VMEXIT_INVVPID = 53,
+ VMEXIT_WBINVD = 54,
+ VMEXIT_XSETBV = 55
+} 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
+} __attribute__((packed));
+
+
+
+struct VMExitDBGQual {
+ uint32_t B0 : 1; // Breakpoint 0 condition met
+ uint32_t B1 : 1; // Breakpoint 1 condition met
+ uint32_t B2 : 1; // Breakpoint 2 condition met
+ uint32_t B3 : 1; // Breakpoint 3 condition met
+ uint32_t rsvd : 9; // reserved to 0
+ uint32_t BD : 1; // detected DBG reg access
+ uint32_t BS : 1; // cause either single instr or taken branch
+} __attribute__((packed));
+
+
+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
+} __attribute__((packed));
+
+struct VMExitMovDRQual {
+ uint32_t regID : 3; // debug register number
+ uint32_t rsvd1 : 1; // reserved to 0
+ uint32_t dir : 1; // (0: MOV to DR , 1: MOV from DR)
+ uint32_t rsvd2 : 3; // reserved to 0
+ uint32_t gpr : 4; // (0:RAX, 1:RCX, 2:RDX, 3:RBX, 4:RSP, 5:RBP, 6:RSI, 6:RDI, 8-15:64bit regs)
+} __attribute__((packed));
+
+/* End Exit Qualifications */
+
+
+int v3_handle_vmx_exit(struct v3_gprs * gprs, struct guest_info * info);
#endif
