virtual_irq      1241 drivers/clocksource/arm_arch_timer.c 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];
virtual_irq        65 include/clocksource/arm_arch_timer.h 	int virtual_irq;
virtual_irq       911 virt/kvm/arm/arch_timer.c 	if (info->virtual_irq <= 0) {
virtual_irq       913 virt/kvm/arm/arch_timer.c 			info->virtual_irq);
virtual_irq       916 virt/kvm/arm/arch_timer.c 	host_vtimer_irq = info->virtual_irq;