max_sev_asid
max_asid = max_sev_asid;
max_sev_asid = ecx;
if (!max_sev_asid)
nr_asids = max_sev_asid + 1;
if (min_sev_asid <= max_sev_asid) {
sev_asid_count = max_sev_asid - min_sev_asid + 1;
sev_supported ? min_sev_asid <= max_sev_asid ? "enabled" :
min_sev_asid, max_sev_asid);
sev_flush_asids(1, max_sev_asid);
unsigned int max_sev_asid;
sd->min_asid = max_sev_asid + 1;
extern unsigned int max_sev_asid;