make_pointer_integer 4738 src/fileio.c   	      (read_non_regular, make_pointer_integer (&data),
make_pointer_integer   77 src/gfilenotify.c   monitor_object = make_pointer_integer (monitor);
make_pointer_integer  572 src/keymap.c   			  make_pointer_integer (&mapdata));
make_pointer_integer  702 src/w32inevt.c 		  inev.arg = list3 (make_pointer_integer (ns->desc),
make_pointer_integer 3620 src/w32term.c  		  event->arg = list3 (make_pointer_integer (ns->desc),