Linux.SysCall.gettid – linux Reference Manual