Home
last modified time | relevance | path

Searched refs:get_threads (Results 1 – 1 of 1) sorted by relevance

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
Dgdbscript.py52 def get_threads(self): member in CapDLSource
83 print('\n'.join(get_threads()))
112 threads = get_threads()
155 threads = get_threads()
253 threads = get_threads()
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))
403 THREADS = provider.get_threads()
418 def get_threads(): function