Searched defs:state_shift (Results 1 – 2 of 2) sorted by relevance
3903 state_shift (state_t state, reserv_sets_t reservs) in state_shift() function
3911 state_shift (state_t state, reserv_sets_t reservs) in state_shift() function