Home
last modified time | relevance | path

Searched refs:virq_to_evtchn (Results 1 – 3 of 3) sorted by relevance

/xen/xen/common/
A Devent_channel.c426 if ( (virq < 0) || (virq >= ARRAY_SIZE(v->virq_to_evtchn)) ) in evtchn_bind_virq()
433 virq = array_index_nospec(virq, ARRAY_SIZE(v->virq_to_evtchn)); in evtchn_bind_virq()
443 if ( v->virq_to_evtchn[virq] != 0 ) in evtchn_bind_virq()
471 v->virq_to_evtchn[virq] = bind->port = port; in evtchn_bind_virq()
656 if ( v->virq_to_evtchn[chn1->u.virq] != port1 ) in evtchn_close()
658 v->virq_to_evtchn[chn1->u.virq] = 0; in evtchn_close()
791 return ((v != NULL) && (v->virq_to_evtchn[virq] != 0)); in guest_enabled_event()
805 port = v->virq_to_evtchn[virq]; in send_guest_vcpu_virq()
839 port = v->virq_to_evtchn[virq]; in send_guest_global_virq()
A Dkeyhandler.c344 VIRQ_DEBUG, v->virq_to_evtchn[VIRQ_DEBUG]); in dump_domains()
/xen/xen/include/xen/
A Dsched.h239 evtchn_port_t virq_to_evtchn[NR_VIRQS]; member

Completed in 10 milliseconds