x_set_last_user_time_from_lisp 10030 src/xfns.c       x_set_last_user_time_from_lisp (dpyinfo, time);
x_set_last_user_time_from_lisp 1766 src/xterm.h    extern void x_set_last_user_time_from_lisp (struct x_display_info *, Time);