A memory barrier on aarch64 can affect different domains: inner shareable, outer shareable, or full system. It appears that by default we are using full system. We should be able to use inner shareable instead, which presumably would be more efficient if the host was running more than one OS instance.