On Mon, Dec 12, 2011 at 10:49 AM, Avi Kivity <avi@xxxxxxxxxx> wrote: > On 12/12/2011 05:25 PM, Peter Maydell wrote: >> On 12 December 2011 15:15, Avi Kivity <avi@xxxxxxxxxx> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
