From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 10 Nov 2006 15:51:03 +0000 (+0000)
Subject: Add "memory" as clobber to the asm used by barrier().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6d19139b337fcb7c9b31e5b6724e6ae19499e4c5;hp=6d19139b337fcb7c9b31e5b6724e6ae19499e4c5;p=pintos-anon

Add "memory" as clobber to the asm used by barrier().
Otherwise at least some versions of GCC assume that no changes to
memory can take place.
---