4 #include <linux/kernel.h>
5 #include <linux/types.h>
6 #include <linux/list.h>
12 static const u32 host_save_user_msrs
[] = {
14 MSR_STAR
, MSR_LSTAR
, MSR_CSTAR
, MSR_SYSCALL_MASK
, MSR_KERNEL_GS_BASE
,
17 MSR_IA32_SYSENTER_CS
, MSR_IA32_SYSENTER_ESP
, MSR_IA32_SYSENTER_EIP
,
20 #define NR_HOST_SAVE_USER_MSRS ARRAY_SIZE(host_save_user_msrs)
25 unsigned long vmcb_pa
;
26 struct svm_cpu_data
*svm_data
;
27 uint64_t asid_generation
;
29 unsigned long db_regs
[NUM_DB_REGS
];
33 u64 host_user_msrs
[NR_HOST_SAVE_USER_MSRS
];
35 unsigned long host_cr2
;
36 unsigned long host_db_regs
[NUM_DB_REGS
];
37 unsigned long host_dr6
;
38 unsigned long host_dr7
;