Searched refs:bestSharedCt (Results 1 – 1 of 1) sorted by relevance
311 int bestSharedCt=INT_MAX; in get_available_int() local387 if (no<bestSharedCt || bestPriority > intr_desc.priority) { in get_available_int()390 bestSharedCt = no; in get_available_int()