Searched refs:flush_user_windows (Results 1 – 4 of 4) sorted by relevance
20 void flush_user_windows(void) in flush_user_windows() function66 flush_user_windows(); in synchronize_user_stack()118 flush_user_windows(); in try_to_clear_window_buffer()
91 flush_user_windows(); in genregs32_get()117 flush_user_windows(); in genregs32_set()251 flush_user_windows(); in getregs_get()270 flush_user_windows(); in setregs_set()
368 flush_user_windows(); in sun_do_break()
59 void flush_user_windows(void);