444 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx),  in kvm_timer_update_irq()
451 			    timer_irq(timer_ctx),  in kvm_timer_update_irq()
674 		phys_active = kvm_vgic_map_is_active(vcpu, timer_irq(ctx));  in kvm_timer_vcpu_load_gic()
736 	hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));  in kvm_timer_vcpu_load_nested_switch()
738 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer));  in kvm_timer_vcpu_load_nested_switch()
739 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_ptimer));  in kvm_timer_vcpu_load_nested_switch()
743 					    timer_irq(map->direct_vtimer),  in kvm_timer_vcpu_load_nested_switch()
748 					    timer_irq(map->direct_ptimer),  in kvm_timer_vcpu_load_nested_switch()
1040 			kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));  in kvm_timer_vcpu_reset()
1042 				kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));  in kvm_timer_vcpu_reset()
1500 		irq = timer_irq(ctx);  in timer_irqs_are_valid()
1532 		if (timer_irq(ctx) == vintid)  in kvm_arch_timer_get_input_level()
1568 				    timer_irq(map.direct_vtimer),  in kvm_timer_enable()
1576 					    timer_irq(map.direct_ptimer),  in kvm_timer_enable()
1670 	irq = timer_irq(timer);  in kvm_arm_timer_get_attr()