physical_irq     1243 drivers/clocksource/arm_arch_timer.c 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];
physical_irq       66 include/clocksource/arm_arch_timer.h 	int physical_irq;
physical_irq      949 virt/kvm/arm/arch_timer.c 	if (info->physical_irq > 0) {
physical_irq      950 virt/kvm/arm/arch_timer.c 		host_ptimer_irq = info->physical_irq;
physical_irq      979 virt/kvm/arm/arch_timer.c 			info->physical_irq);