Searched refs:threadName (Results 1 – 1 of 1) sorted by relevance
| /Renode-v1.15.3-c57714d/tools/sel4_extensions/ |
| D | seL4Extensions.cs | 76 public void BreakOnNamingThread(string threadName) in BreakOnNamingThread() argument
78 pendingThreadName = threadName; in BreakOnNamingThread()
103 public void SetBreakpoint(string threadName, ulong address = WildcardAddress) in SetBreakpoint() argument
105 SetBreakpointHelper(threadName, address, breakpoints); in SetBreakpoint()
109 public void SetTemporaryBreakpoint(string threadName, ulong address = WildcardAddress) in SetTemporaryBreakpoint() argument
111 SetBreakpointHelper(threadName, address, temporaryBreakpoints); in SetTemporaryBreakpoint()
118 public void RemoveBreakpoint(string threadName, ulong address = WildcardAddress) in RemoveBreakpoint() argument
120 RemoveBreakpointHelper(threadName, address, breakpoints); in RemoveBreakpoint()
123 public void RemoveTemporaryBreakpoint(string threadName, ulong address = WildcardAddress) in RemoveTemporaryBreakpoint() argument
125 RemoveBreakpointHelper(threadName, address, temporaryBreakpoints); in RemoveTemporaryBreakpoint()
[all …]
|
