Searched refs:fault_in_user_windows (Results 1 – 3 of 3) sorted by relevance
70 void fault_in_user_windows(void);
42 call fault_in_user_windows
524 void fault_in_user_windows(void) in fault_in_user_windows() function
