flush_user_windows_to_stack
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
int flush_user_windows_to_stack(caddr_t *);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);
error = flush_user_windows_to_stack(&sp);
(void) flush_user_windows_to_stack(NULL);
(void) flush_user_windows_to_stack(NULL);