Searched refs:max_sev_asid (Results 1 – 3 of 3) sorted by relevance
71 unsigned int max_sev_asid; variable154 unsigned int max_asid = sev->es_active ? min_sev_asid - 1 : max_sev_asid; in sev_asid_new()2227 max_sev_asid = ecx; in sev_hardware_setup()2228 if (!max_sev_asid) in sev_hardware_setup()2240 nr_asids = max_sev_asid + 1; in sev_hardware_setup()2252 if (min_sev_asid <= max_sev_asid) { in sev_hardware_setup()2253 sev_asid_count = max_sev_asid - min_sev_asid + 1; in sev_hardware_setup()2292 sev_supported ? min_sev_asid <= max_sev_asid ? "enabled" : in sev_hardware_setup()2295 min_sev_asid, max_sev_asid); in sev_hardware_setup()2315 sev_flush_asids(1, max_sev_asid); in sev_hardware_unsetup()
671 extern unsigned int max_sev_asid;
640 sd->min_asid = max_sev_asid + 1; in svm_hardware_enable()