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