tree 026c2281dc951e5cb8f441c1dc2a4a69b4717133
parent 851948ebbcfc7234132922f6f3c78f557696f2fe
author David Brazdil <dbrazdil@google.com> 1565348855 +0100
committer David Brazdil <dbrazdil@google.com> 1565711581 +0000

Add missing instruction barriers to TLB flush code

Also add comments explaining why individual barriers are needed.

Change-Id: I2510ca56682129ffd754e09074e25c478b490c56