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)
28 unsigned long vmcb_pa;
29 struct svm_cpu_data *svm_data;
30 uint64_t asid_generation;
32 unsigned long db_regs[NUM_DB_REGS];
36 u64 host_user_msrs[NR_HOST_SAVE_USER_MSRS];
38 unsigned long host_cr2;
39 unsigned long host_db_regs[NUM_DB_REGS];
40 unsigned long host_dr6;
41 unsigned long host_dr7;