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;