Symbol: bind_virq_to_evtch
sys/arch/xen/include/evtchn.h
52
int bind_virq_to_evtch(int);
sys/arch/xen/xen/evtchn.c
276
debug_port = bind_virq_to_evtch(VIRQ_DEBUG);
sys/arch/xen/xen/xen_clock.c
724
evtch = bind_virq_to_evtch(VIRQ_TIMER);
sys/arch/xen/xen/xencons.c
234
evtch = bind_virq_to_evtch(VIRQ_CONSOLE);