Searched refs:debugThreadNameSyscallId (Results 1 – 1 of 1) sorted by relevance
23 …public static void CreateSeL4(this ICpuSupportingGdb @this, ulong? debugThreadNameSyscallId = null) in CreateSeL4() argument25 …ulation.ExternalsManager.AddExternal(new SeL4DebugHelper(@this, debugThreadNameSyscallId), "seL4"); in CreateSeL4()31 public SeL4DebugHelper(ICpuSupportingGdb cpu, ulong? debugThreadNameSyscallId) in SeL4DebugHelper() argument46 this.debugThreadNameSyscall = debugThreadNameSyscallId ?? DefaultDebugThreadNameSyscall; in SeL4DebugHelper()
