On Wed, May 16, 2012 at 5:19 AM, Marc Zyngier <marc.zyngier at arm.com> wrote: > On 15/05/12 21:36, Christoffer Dall wrote: >> On Mon, May 14, 2012 at 9:04 AM, Marc Zyngier <marc.zyngier at arm.com> wrote: >>> On a SMP host, the barriers should be upgraded to the inner >>> shareable domain, so that the effect of the barrier can be >>> observed on other CPUs, in case where the virtual CPU is >>> migrated from a physical CPU to another. >>> >> >> nice! >> >> can you explain me again why we know this will never run on a >> two-cluster configuration where we could migrate a VM from one cluster >> to another, which would require us to upgrade to the outer shareable >> domain? I may be missing something here. > > For the time being, multi-cluster implementation(big.LITTLE) all have > the CCI (Cache Coherent Interconnect), which makes the respective inner > domains coherent across clusters. > will that also be the case for all future implementations? would there be any cost of upgrading to outer cacheable instead on current implementations? (just trying to make sure that we hint the correct intentions) come to think of it, perhaps we should have a comment explaining why we set all these specific bits? >>> For the same reasons, TLB operations must also be broadcast >>> across the inner shareable domain. >> >> ok, but how does this comment relate to this patch? > > We add the HCR_FB bit to HCR_GUEST_MASK. > thanks, I completely missed that one yesterday.
