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. >> 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. M. -- Jazz is not dead. It just smells funny...
