Searched refs:debugThreadNameSyscall (Results 1 – 1 of 1) sorted by relevance
46 this.debugThreadNameSyscall = debugThreadNameSyscallId ?? DefaultDebugThreadNameSyscall; in SeL4DebugHelper()224 if((callingConvention.FirstArgument & 0xFFFFFFFF) != debugThreadNameSyscall) in HandleUnknownSyscall()556 private readonly ulong debugThreadNameSyscall; field in Antmicro.Renode.Debug.SeL4DebugHelper
