From owner-freebsd-hackers@freebsd.org  Wed Jan 27 18:48:28 2016
Return-Path: <owner-freebsd-hackers@freebsd.org>
Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id BD53CA6E4E9
 for <freebsd-hackers@mailman.ysv.freebsd.org>;
 Wed, 27 Jan 2016 18:48:28 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org
 [IPv6:2001:1900:2254:206a::50:5])
 by mx1.freebsd.org (Postfix) with ESMTP id A7AF213A0
 for <freebsd-hackers@freebsd.org>; Wed, 27 Jan 2016 18:48:28 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: by mailman.ysv.freebsd.org (Postfix)
 id A44BFA6E4E7; Wed, 27 Jan 2016 18:48:28 +0000 (UTC)
Delivered-To: hackers@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id A3C7EA6E4E6;
 Wed, 27 Jan 2016 18:48:28 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: from kib.kiev.ua (kib.kiev.ua [IPv6:2001:470:d5e7:1::1])
 (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 3E8FC139E;
 Wed, 27 Jan 2016 18:48:28 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: from tom.home (kostik@localhost [127.0.0.1])
 by kib.kiev.ua (8.15.2/8.15.2) with ESMTPS id u0RImMXX078527
 (version=TLSv1 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NO);
 Wed, 27 Jan 2016 20:48:22 +0200 (EET)
 (envelope-from kostikbel@gmail.com)
DKIM-Filter: OpenDKIM Filter v2.10.3 kib.kiev.ua u0RImMXX078527
Received: (from kostik@localhost)
 by tom.home (8.15.2/8.15.2/Submit) id u0RImMlP078497;
 Wed, 27 Jan 2016 20:48:22 +0200 (EET)
 (envelope-from kostikbel@gmail.com)
X-Authentication-Warning: tom.home: kostik set sender to kostikbel@gmail.com
 using -f
Date: Wed, 27 Jan 2016 20:48:22 +0200
From: Konstantin Belousov <kostikbel@gmail.com>
To: Olivier Houchard <cognet@ci0.org>
Cc: John Baldwin <jhb@freebsd.org>, hackers@freebsd.org,
 arm64-dev <arm64-dev@semihalf.com>, freebsd-arm@freebsd.org
Subject: Re: SCHED_ULE race condition, fix proposal
Message-ID: <20160127184822.GE74231@kib.kiev.ua>
References: <CANsEV8e2QbW1Y83eC-d3GczWu4Lu91jDK14Xa1FkL=Y2s+RBMQ@mail.gmail.com>
 <2587742.rOiGAYXjN1@ralph.baldwin.cx>
 <20160127181426.GA48838@ci0.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20160127181426.GA48838@ci0.org>
User-Agent: Mutt/1.5.24 (2015-08-30)
X-Spam-Status: No, score=-2.0 required=5.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_ADSP_CUSTOM_MED,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED autolearn=no
 autolearn_force=no version=3.4.1
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on tom.home
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers/>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 27 Jan 2016 18:48:28 -0000

On Wed, Jan 27, 2016 at 07:14:26PM +0100, Olivier Houchard wrote:
> Hi,
> 
> I may be reading the arm64 code wrong, but shouldn't :
>         ldr     x0, =_C_LABEL(blocked_lock)
> 	        ldr     x2, [x0]
> 
> be just:
> 	ldr     x2, =_C_LABEL(blocked_lock)

You are right, I believe.