Searched refs:user_exit (Results 1 – 2 of 2) sorted by relevance
125 void user_exit(void) in user_exit() function
3059 user_exit(); in schedule_user()