Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs78 pendingThreadName = threadName; in BreakOnNamingThread()
384 if(pendingThreadName != null && threadName.Contains(pendingThreadName)) in HandlePostLookupIPCBuffer()
386 pendingThreadName = null; in HandlePostLookupIPCBuffer()
562 private string pendingThreadName; field in Antmicro.Renode.Debug.SeL4DebugHelper