Searched refs:min_sev_asid (Results 1 – 1 of 1) sorted by relevance
25 static unsigned int min_sev_asid; variable66 max_sev_asid, min_sev_asid - 1); in __sev_recycle_asids()91 pos = find_next_zero_bit(sev_asid_bitmap, max_sev_asid, min_sev_asid - 1); in sev_asid_new()1153 min_sev_asid = cpuid_edx(0x8000001F); in sev_hardware_setup()