On Tue, 09 Jun 2015 15:35:21 +0100 Marc Zyngier <marc.zyng...@arm.com> wrote:
> On 09/06/15 15:01, Peter Maydell wrote: > > On 9 June 2015 at 15:00, Marc Zyngier <marc.zyng...@arm.com> wrote: > >> > >> Yeah, what I had in mind was something along the lines of: > >> - kernel computes its "default MPDIR" > >> - kernel exposes a new capability "KVM_ARM_ALLOW_MPIDR_OVERRIDE" (or > >> something along those lines) > >> - userspace does the right thing. > > > > You forgot the "???" step :-) > > Indeed. I also missed the step that says "kernel is able to convert > arbitrary MPIDR to vcpu_id in an efficient manner...". GICv3 is > definitely going to require this. x86 probably already has code that does this for APIC ID -> vcpu_id
