Searched refs:DefaultDebugThreadNameSyscall (Results 1 – 1 of 1) sorted by relevance
46 this.debugThreadNameSyscall = debugThreadNameSyscallId ?? DefaultDebugThreadNameSyscall; in SeL4DebugHelper()546 private const uint DefaultDebugThreadNameSyscall = 0xfffffff2; field in Antmicro.Renode.Debug.SeL4DebugHelper
