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