pgtk_regenerate_devices  116 src/pgtkterm.c static void pgtk_regenerate_devices (struct pgtk_display_info *);
pgtk_regenerate_devices  122 src/pgtkterm.c   pgtk_regenerate_devices (user_data);
pgtk_regenerate_devices  129 src/pgtkterm.c   pgtk_regenerate_devices (user_data);
pgtk_regenerate_devices  143 src/pgtkterm.c   pgtk_regenerate_devices (user_data);