Searched refs:print_saved_state (Results 1 – 1 of 1) sorted by relevance
58 void print_saved_state(void *);317 print_saved_state(void *state) in print_saved_state() function