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