Searched defs:allocated_alt_states_num (Results 1 – 2 of 2) sorted by relevance
3135 static int allocated_alt_states_num = 0; variable
3394 static int allocated_alt_states_num = 0; variable