On 12/12/2011 05:25 PM, Peter Maydell wrote: > On 12 December 2011 15:15, Avi Kivity <avi at 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. -- error compiling committee.c: too many arguments to function
