Searched refs:switch_user_task_dummy (Results 1 – 1 of 1) sorted by relevance
62 static void switch_user_task_dummy(void);75 static void switch_user_task_dummy(void) { in switch_user_task_dummy() function113 switch_user_task_dummy(); in check_switched_user()