Searched refs:event_source_head (Results 1 – 1 of 1) sorted by relevance
358 static int event_source_head = 0; in gdb_do_one_event() local370 switch (event_source_head) in gdb_do_one_event()388 event_source_head++; in gdb_do_one_event()389 if (event_source_head == number_of_sources) in gdb_do_one_event()390 event_source_head = 0; in gdb_do_one_event()