Searched refs:evtch_bindcount (Results 1 – 1 of 1) sorted by relevance
104 static uint8_t evtch_bindcount[NR_EVENT_CHANNELS]; variable259 evtch_bindcount[i] = 0; in events_default_setup()549 evtch_bindcount[evtchn]++; in bind_vcpu_to_evtch()602 evtch_bindcount[evtchn]++; in bind_virq_to_evtch()630 evtch_bindcount[evtchn]--; in unbind_virq_from_evtch()631 if (evtch_bindcount[evtchn] == 0) { in unbind_virq_from_evtch()697 evtch_bindcount[evtchn]++; in bind_pirq_to_evtch()712 evtch_bindcount[evtchn]--; in unbind_pirq_from_evtch()713 if (evtch_bindcount[evtchn] == 0) { in unbind_pirq_from_evtch()