On Fri, Nov 23, 2012 at 12:11 PM, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > On 23/11/12 17:00, Will Deacon wrote: >> On Fri, Nov 23, 2012 at 04:52:12PM +0000, Marc Zyngier wrote: >>> On 23/11/12 16:17, Will Deacon wrote: >>>>> diff --git a/arch/arm/kvm/reset.c b/arch/arm/kvm/reset.c >>>>> index b80256b..7463f5b 100644 >>>>> --- a/arch/arm/kvm/reset.c >>>>> +++ b/arch/arm/kvm/reset.c >>>>> @@ -37,6 +37,12 @@ static struct kvm_regs a15_regs_reset = { >>>>> .usr_regs.ARM_cpsr = SVC_MODE | PSR_A_BIT | PSR_I_BIT | PSR_F_BIT, >>>>> }; >>>>> >>>>> +#ifdef CONFIG_KVM_ARM_TIMER >>>>> +static const struct kvm_irq_level a15_virt_timer_ppi = { >>>>> + { .irq = 27 }, /* irq: A7/A15 specific */ >>>> >>>> This should be parameterised by the vCPU type. >>> >>> This is already A15 specific, and assigned in an A15 specific code >>> section below. >> >> Right, but we can take the interrupt number from the device-tree, like we do >> for the host anyway. > > Certainly. I'll update this bit. > So we lock ourselves to always only support emulating the same CPU on the guest as on the host? (I know we assume this elsewhere and that even the A7 uses the same IRQ number, but these doesn't necessarily have to be the same in the future, and there's no need to make such a task more difficult, and we are not really making things mode stable/simple by taking it from the DT - are we?) -Christoffer -- 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