Searched refs:save_shifts (Results 1 – 1 of 1) sorted by relevance
15 static void save_shifts(void);151 save_shifts(); in generate_states()402 save_shifts(void) in save_shifts() function