113         thread_exists = next((thread for thread in threads if arg in thread), None)
144             thread = get_current_thread()
145             switch_symbols(thread, verbose=True)
158         return list(thread for thread in threads if thread.startswith(word))
180     thread = args[0]
183     if thread == 'kernel':
187     if thread == 'user':
188         thread = '<any>'
193             gdb.execute('{} "{}" {}'.format(monitor_command, thread, hex(hit.pc)))
195         gdb.execute('{} "{}"'.format(monitor_command, thread))
256             return list(thread for thread in threads if thread.startswith(word))
264             for thread, address in get_breakpoints(chosen_thread):
265                 if chosen_thread not in thread:
280         thread = args[0] if len(args) >= 1 else None
283         if thread == 'kernel':
287         if thread == 'user':
288             thread = '<any>'
291             gdb.execute('mon seL4 RemoveBreakpoint "{}" {}'.format(thread, address))
292             gdb.execute('mon seL4 RemoveTemporaryBreakpoint "{}" {}'.format(thread, address))
294             gdb.execute('mon seL4 RemoveBreakpoint "{}"'.format(thread))
295             gdb.execute('mon seL4 RemoveTemporaryBreakpoint "{}"'.format(thread))
308         return list(thread for thread in get_threads() if thread.startswith(text))
329         return list(thread for thread in get_threads() if thread.startswith(text))
406 def get_breakpoints(thread=None):  argument
407     if not thread:
410 …breakpoints = gdb.execute('mon seL4 GetBreakpointsPlain "{}"'.format(thread), to_string=True).stri…
422         splitted_line = (thread.strip() for thread in line.split(','))
423         threads.extend(thread for thread in splitted_line if thread)
427 def resolve_symbol_file(thread, fallback=True):  argument
428     if thread is None:
431         image_name = next((key for key in BINARIES.keys() if key in thread), None)
441 def switch_symbols(thread=None, fallback=True, verbose=False):  argument
450     image_path = resolve_symbol_file(thread, fallback)
453         raise gdb.GdbError("no symbol-file found for thread/component {}".format(thread))
465         thread = get_current_thread()
466         switch_symbols(thread)