]> git.baikalelectronics.ru Git - kernel.git/commit
ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq
authorAnup Patel <anup.patel@linaro.org>
Tue, 30 Apr 2013 06:32:15 +0000 (12:02 +0530)
committerChristoffer Dall <christoffer.dall@linaro.org>
Wed, 26 Jun 2013 17:50:02 +0000 (10:50 -0700)
commit41d5e3a912fc7e6f81ca17f4df524df976668838
tree9bb5b7bcc23d5f3d31783caccc499413678dcdf9
parent3756c49766d144fdfa2ec4e33053c28cb27b23af
ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq

The arch_timer irq numbers (or PPI numbers) are implementation dependent,
so the host virtual timer irq number can be different from guest virtual
timer irq number.

This patch ensures that host virtual timer irq number is read from DTB and
guest virtual timer irq is determined based on vcpu target type.

Signed-off-by: Anup Patel <anup.patel@linaro.org>
Signed-off-by: Pranavkumar Sawargaonkar <pranavkumar@linaro.org>
Signed-off-by: Christoffer Dall <cdall@cs.columbia.edu>
arch/arm/kvm/reset.c
include/kvm/arm_arch_timer.h
virt/kvm/arm/arch_timer.c