Searched refs:VIRQ_TIMER (Results 1 – 7 of 7) sorted by relevance
487 .u.timer.port = env->xen_virq[VIRQ_TIMER], in kvm_xen_set_vcpu_timer()521 if (virq == VIRQ_TIMER && kvm_xen_has_cap(EVTCHN_SEND)) { in kvm_xen_set_vcpu_virq()1005 uint16_t port = env->xen_virq[VIRQ_TIMER]; in xen_vcpu_singleshot_timer_event()1020 uint16_t port = env->xen_virq[VIRQ_TIMER]; in xen_vcpu_periodic_timer_event()1881 if (env->xen_virq[VIRQ_TIMER]) { in kvm_put_xen_state()1883 RUN_ON_CPU_HOST_INT(env->xen_virq[VIRQ_TIMER])); in kvm_put_xen_state()1924 if (env->xen_virq[VIRQ_TIMER]) { in kvm_get_xen_state()
88 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */ macro
177 irq = irq_evtchn_from_virq(cpu, VIRQ_TIMER, &evtchn); in evtchn_2l_handle_events()
164 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */ macro
358 irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt, in xen_setup_timer()
1023 case VIRQ_TIMER: in virq_is_global()
5600 event channel port/priority for the VIRQ_TIMER of the vCPU, as well