Searched refs:CurrentThread (Results 1 – 3 of 3) sorted by relevance
21 ${thread}= Execute Command seL4 CurrentThread27 ${thread}= Execute Command seL4 CurrentThread33 ${thread}= Execute Command seL4 CurrentThread
109 if(Thread.CurrentThread != listenerThread) in Shutdown()
67 public string CurrentThread() in CurrentThread() method in Antmicro.Renode.Debug.SeL4DebugHelper288 var threadName = CurrentThread(); in HandleThreadSwitch()299 var threadName = CurrentThread(); in HandleBreakpoint()
