Searched refs:virq_timer_to_evtch (Results 1 – 1 of 1) sorted by relevance
110 static int virq_timer_to_evtch[NBSD_XEN_MAX_VCPUS]; variable242 virq_timer_to_evtch[i] = -1; in events_default_setup()579 evtchn = virq_timer_to_evtch[ci->ci_vcpuid]; in bind_virq_to_evtch()596 virq_timer_to_evtch[ci->ci_vcpuid] = evtchn; in bind_virq_to_evtch()618 evtchn = virq_timer_to_evtch[ci->ci_vcpuid]; in unbind_virq_from_evtch()638 virq_timer_to_evtch[ci->ci_vcpuid] = -1; in unbind_virq_from_evtch()