564     XtIntervalId    *interval_id UNUSED)  in gui_x11_timer_cb()  argument
573     XtIntervalId    *interval_id UNUSED)  in channel_poll_cb()  argument
590     Widget	w UNUSED,  in gui_x11_visibility_cb()  argument
591     XtPointer	dud UNUSED,  in gui_x11_visibility_cb()  argument
593     Boolean	*dum UNUSED)  in gui_x11_visibility_cb()  argument
613     Widget	w UNUSED,  in gui_x11_expose_cb()  argument
614     XtPointer	dud UNUSED,  in gui_x11_expose_cb()  argument
616     Boolean	*dum UNUSED)  in gui_x11_expose_cb()  argument
688     Widget	w UNUSED,  in gui_x11_resize_window_cb()  argument
689     XtPointer	dud UNUSED,  in gui_x11_resize_window_cb()  argument
691     Boolean	*dum UNUSED)  in gui_x11_resize_window_cb()  argument
725     Widget	w UNUSED,  in gui_x11_focus_change_cb()  argument
726     XtPointer	data UNUSED,  in gui_x11_focus_change_cb()  argument
728     Boolean	*dum UNUSED)  in gui_x11_focus_change_cb()  argument
735     Widget	w UNUSED,  in gui_x11_enter_cb()  argument
736     XtPointer	data UNUSED,  in gui_x11_enter_cb()  argument
737     XEvent	*event UNUSED,  in gui_x11_enter_cb()  argument
738     Boolean	*dum UNUSED)  in gui_x11_enter_cb()  argument
745     Widget	w UNUSED,  in gui_x11_leave_cb()  argument
746     XtPointer	data UNUSED,  in gui_x11_leave_cb()  argument
747     XEvent	*event UNUSED,  in gui_x11_leave_cb()  argument
748     Boolean	*dum UNUSED)  in gui_x11_leave_cb()  argument
761     Widget	w UNUSED,  in gui_x11_key_hit_cb()  argument
762     XtPointer	dud UNUSED,  in gui_x11_key_hit_cb()  argument
764     Boolean	*dum UNUSED)  in gui_x11_key_hit_cb()  argument
1015     Widget	w UNUSED,  in gui_x11_mouse_cb()  argument
1016     XtPointer	dud UNUSED,  in gui_x11_mouse_cb()  argument
1018     Boolean	*dum UNUSED)  in gui_x11_mouse_cb()  argument
1236     XtPointer	c UNUSED,  in local_xsmp_handle_requests()  argument
1237     int		*s UNUSED,  in local_xsmp_handle_requests()  argument
1238     XtInputId	*i UNUSED)  in local_xsmp_handle_requests()  argument
1655 gui_mch_exit(int rc UNUSED)  in gui_mch_exit()  argument
1703     int		direction UNUSED)  in gui_mch_set_shellsize()  argument
1744     int		do_fontset UNUSED)  in gui_mch_init_font()  argument
2911     Widget	w UNUSED,  in gui_x11_menu_cb()  argument
2913     XtPointer	call_data UNUSED)  in gui_x11_menu_cb()  argument
2928     Widget	w UNUSED,  in gui_x11_wm_protocol_handler()  argument
2929     XtPointer	client_data UNUSED,  in gui_x11_wm_protocol_handler()  argument
2931     Boolean	*dum UNUSED)  in gui_x11_wm_protocol_handler()  argument
2970     Widget	w UNUSED,  in gui_x11_send_event_handler()  argument
2971     XtPointer	client_data UNUSED,  in gui_x11_send_event_handler()  argument
2973     Boolean	*dum UNUSED)  in gui_x11_send_event_handler()  argument
3040     XtPointer	    timed_out UNUSED,  in gui_x11_blink_cb()  argument
3041     XtIntervalId    *interval_id UNUSED)  in gui_x11_blink_cb()  argument