if (ui_loop_hook != NULL) ui_loop_hook (0);
if (deprecated_ui_loop_hook != NULL) deprecated_ui_loop_hook (0);
gdb_os_poll_quit (host_callback *p){  if (ui_loop_hook != NULL)    ui_loop_hook (0);  if (quit_flag)		/* gdb's idea of quit */    {      quit_flag = 0;		/* we've stolen it */      return 1;    }  else if (immediate_quit)    {      return 1;    }  return 0;}