On Mon, Dec 12, 2011 at 10:49 AM, Avi Kivity <a...@redhat.com> wrote:
> On 12/12/2011 05:25 PM, Peter Maydell wrote:
>> On 12 December 2011 15:15, Avi Kivity <a...@redhat.com> wrote:
>> > We need to differentiate in how Linux-as-a-guest acts and how the cpu is
>> > supposed to work.  A guest operating system can theoretically assign the
>> > ASID x to process A running on vcpu 0, and the same ASID x to process B
>> > running on vcpu 1
>>
>> That would be a guest bug. From the ARM ARM:
>> "For a symmetric multiprocessor cluster where a single operating system
>> is running on the set of processing elements, ARMv7 requires all ASID
>> values to be assigned uniquely within any single Inner Shareable domain.
>> In other words, each ASID value must have the same meaning to all
>> processing elements in the system."
>
> Thanks.  So per-vm vmids should work.
>
yep.
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to