Searched refs:max_sev_asid (Results 1 – 3 of 3) sorted by relevance
71 unsigned int max_sev_asid; variable165 max_asid = sev->es_active ? min_sev_asid - 1 : max_sev_asid; in sev_asid_new()2207 max_sev_asid = ecx; in sev_hardware_setup()2208 if (!max_sev_asid) in sev_hardware_setup()2220 nr_asids = max_sev_asid + 1; in sev_hardware_setup()2232 sev_asid_count = max_sev_asid - min_sev_asid + 1; in sev_hardware_setup()2265 min_sev_asid, max_sev_asid); in sev_hardware_setup()2285 sev_flush_asids(1, max_sev_asid); in sev_hardware_unsetup()
669 extern unsigned int max_sev_asid;
638 sd->min_asid = max_sev_asid + 1; in svm_hardware_enable()