Searched refs:bestSharedCt (Results 1 – 1 of 1) sorted by relevance
301 int bestSharedCt=INT_MAX; in get_available_int() local370 if (no<bestSharedCt || bestLevel>interrupt_controller_hal_get_level(x)) { in get_available_int()373 bestSharedCt=no; in get_available_int()