get_current_thread (reference) in projects: Renode-v1.15.3-c57714d

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
D	gdbscript.py	`94 print(get_current_thread()) 144 thread = get_current_thread() 414 def get_current_thread(): function 465 thread = get_current_thread()`