On 2018-09-20 6:47 PM, Mikulas Patocka wrote:
I'm not so sure. The "sync" instruction enforces order on accesses and cache flushes.Anyway, the current code has "sync" between the idtlbt and unlock, so they can't be interchanged.
Dave -- John David Anglin dave.anglin@xxxxxxxx