4 #include <linux/kernel.h>
5 #include <linux/types.h>
6 #include <linux/list.h>
12 static const u32 host_save_msrs[] = {
14 MSR_STAR, MSR_LSTAR, MSR_CSTAR, MSR_SYSCALL_MASK, MSR_KERNEL_GS_BASE,
15 MSR_FS_BASE, MSR_GS_BASE,
17 MSR_IA32_SYSENTER_CS, MSR_IA32_SYSENTER_ESP, MSR_IA32_SYSENTER_EIP,
18 MSR_IA32_DEBUGCTLMSR, /*MSR_IA32_LASTBRANCHFROMIP,
19 MSR_IA32_LASTBRANCHTOIP, MSR_IA32_LASTINTFROMIP,MSR_IA32_LASTINTTOIP,*/
22 #define NR_HOST_SAVE_MSRS ARRAY_SIZE(host_save_msrs)
27 unsigned long vmcb_pa;
28 struct svm_cpu_data *svm_data;
29 uint64_t asid_generation;
31 unsigned long db_regs[NUM_DB_REGS];
35 u64 host_msrs[NR_HOST_SAVE_MSRS];
36 unsigned long host_cr2;
37 unsigned long host_db_regs[NUM_DB_REGS];
38 unsigned long host_dr6;
39 unsigned long host_dr7;