Searched refs:currentTCB (Results 1 – 1 of 1) sorted by relevance
341 currentTCB = underlying & 0xffffffffffffff00; in HandlePostLookupCapAndSlotAddress()375 if(!mapping.ContainsKey(currentTCB) || threadName.Contains("_control")) in HandlePostLookupIPCBuffer()377 mapping[currentTCB] = threadName; in HandlePostLookupIPCBuffer()563 private ulong currentTCB; field in Antmicro.Renode.Debug.SeL4DebugHelper
