453 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx),  in kvm_timer_update_irq()
460 			    timer_irq(timer_ctx),  in kvm_timer_update_irq()
683 		phys_active = kvm_vgic_map_is_active(vcpu, timer_irq(ctx));  in kvm_timer_vcpu_load_gic()
745 	hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));  in kvm_timer_vcpu_load_nested_switch()
747 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer));  in kvm_timer_vcpu_load_nested_switch()
748 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_ptimer));  in kvm_timer_vcpu_load_nested_switch()
752 					    timer_irq(map->direct_vtimer),  in kvm_timer_vcpu_load_nested_switch()
757 					    timer_irq(map->direct_ptimer),  in kvm_timer_vcpu_load_nested_switch()
1049 			kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));  in kvm_timer_vcpu_reset()
1051 				kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));  in kvm_timer_vcpu_reset()
1573 		irq = timer_irq(ctx);  in timer_irqs_are_valid()
1605 		if (timer_irq(ctx) == vintid)  in kvm_arch_timer_get_input_level()
1641 				    timer_irq(map.direct_vtimer),  in kvm_timer_enable()
1649 					    timer_irq(map.direct_ptimer),  in kvm_timer_enable()
1743 	irq = timer_irq(timer);  in kvm_arm_timer_get_attr()