451 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx),  in kvm_timer_update_irq()
456 					  timer_irq(timer_ctx),  in kvm_timer_update_irq()
669 		phys_active = kvm_vgic_map_is_active(vcpu, timer_irq(ctx));  in kvm_timer_vcpu_load_gic()
731 	hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));  in kvm_timer_vcpu_load_nested_switch()
733 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer));  in kvm_timer_vcpu_load_nested_switch()
734 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_ptimer));  in kvm_timer_vcpu_load_nested_switch()
738 					    timer_irq(map->direct_vtimer),  in kvm_timer_vcpu_load_nested_switch()
743 					    timer_irq(map->direct_ptimer),  in kvm_timer_vcpu_load_nested_switch()
972 			kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));  in kvm_timer_vcpu_reset()
974 				kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));  in kvm_timer_vcpu_reset()
1464 		irq = timer_irq(ctx);  in timer_irqs_are_valid()
1496 		if (timer_irq(ctx) == vintid)  in kvm_arch_timer_get_input_level()
1532 				    timer_irq(map.direct_vtimer),  in kvm_timer_enable()
1540 					    timer_irq(map.direct_ptimer),  in kvm_timer_enable()
1634 	irq = timer_irq(timer);  in kvm_arm_timer_get_attr()