Christoffer Dall ce01e4e887 KVM: arm-vgic: Set base addr through device API vor 12 Jahren
..
arm_arch_timer.h 5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq vor 12 Jahren
arm_vgic.h ce01e4e887 KVM: arm-vgic: Set base addr through device API vor 12 Jahren