31         public SeL4DebugHelper(ICpuSupportingGdb cpu, ulong? debugThreadNameSyscallId)  in SeL4DebugHelper()
212         private ulong TryTranslateAddress(ICpuSupportingGdb cpu, ulong virtualAddress)  in TryTranslateAddress()
221         private void HandleUnknownSyscall(ICpuSupportingGdb cpu, ulong address)  in HandleUnknownSyscall()
252         private void Finalize(ICpuSupportingGdb cpu, ulong address)  in Finalize()
259         private void HandleRestoreUserContext(ICpuSupportingGdb cpu, ulong address)  in HandleRestoreUserContext()
286         private void HandleThreadSwitch(ICpuSupportingGdb cpu, ulong address)  in HandleThreadSwitch()
297         private void HandleBreakpoint(ICpuSupportingGdb cpu, ulong address)  in HandleBreakpoint()
310         private void HandleExitUserspace(ICpuSupportingGdb cpu, ulong address)  in HandleExitUserspace()
326         private void HandleLookupCapAndSlotAddress(ICpuSupportingGdb cpu, ulong address)  in HandleLookupCapAndSlotAddress()
333         private void HandlePostLookupCapAndSlotAddress(ICpuSupportingGdb cpu, ulong address)  in HandlePostLookupCapAndSlotAddress()
344         private void HandleLookupIPCBuffer(ICpuSupportingGdb cpu, ulong address)  in HandleLookupIPCBuffer()
351         private void HandlePostLookupIPCBuffer(ICpuSupportingGdb cpu, ulong address)  in HandlePostLookupIPCBuffer()
554         private readonly ICpuSupportingGdb cpu;  field in Antmicro.Renode.Debug.SeL4DebugHelper
584             public RiscVCallingConvention(ICpuSupportingGdb cpu)  in RiscVCallingConvention()
613             private readonly dynamic cpu;  field in Antmicro.Renode.Debug.SeL4DebugHelper.RiscVCallingConvention
618             public ArmCallingConvention(ICpuSupportingGdb cpu)  in ArmCallingConvention()
647             private readonly Arm cpu;  field in Antmicro.Renode.Debug.SeL4DebugHelper.ArmCallingConvention