From mboxrd@z Thu Jan 1 00:00:00 1970 From: Avi Kivity Subject: Re: [Android-virt] [PATCH v5 04/13] ARM: KVM: Memory virtualization setup Date: Mon, 12 Dec 2011 17:49:38 +0200 Message-ID: <4EE62292.8070709@redhat.com> References: <20111211102403.21693.6887.stgit@localhost> <20111211102442.21693.544.stgit@localhost> <4EE61245.1010100@redhat.com> <4EE61A7F.7030006@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Cc: Christoffer Dall , Marc.Zyngier@arm.com, tech@virtualopensystems.com, android-virt@lists.cs.columbia.edu, kvm@vger.kernel.org To: Peter Maydell Return-path: Received: from mx1.redhat.com ([209.132.183.28]:59462 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750952Ab1LLPty (ORCPT ); Mon, 12 Dec 2011 10:49:54 -0500 In-Reply-To: Sender: kvm-owner@vger.kernel.org List-ID: On 12/12/2011 05:25 PM, Peter Maydell wrote: > On 12 December 2011 15:15, Avi Kivity 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