|
@@ -319,6 +319,8 @@ enum {
|
|
|
|
|
|
#define VMCB_AVIC_APIC_BAR_MASK 0xFFFFFFFFFF000ULL
|
|
|
|
|
|
+static unsigned int max_sev_asid;
|
|
|
+
|
|
|
static inline void mark_all_dirty(struct vmcb *vmcb)
|
|
|
{
|
|
|
vmcb->control.clean = 0;
|
|
@@ -783,7 +785,7 @@ static int svm_hardware_enable(void)
|
|
|
sd->asid_generation = 1;
|
|
|
sd->max_asid = cpuid_ebx(SVM_CPUID_FUNC) - 1;
|
|
|
sd->next_asid = sd->max_asid + 1;
|
|
|
- sd->min_asid = 1;
|
|
|
+ sd->min_asid = max_sev_asid + 1;
|
|
|
|
|
|
gdt = get_current_gdt_rw();
|
|
|
sd->tss_desc = (struct kvm_ldttss_desc *)(gdt + GDT_ENTRY_TSS);
|