Searched refs:min_sev_asid (Results 1 – 1 of 1) sorted by relevance
419 static unsigned int min_sev_asid; variable1230 min_sev_asid = cpuid_edx(0x8000001F); in sev_hardware_setup()6224 pos = find_next_zero_bit(sev_asid_bitmap, max_sev_asid, min_sev_asid - 1); in sev_asid_new()
