Symbol: bind_pirq_to_evtch
sys/arch/xen/include/evtchn.h
53
int bind_pirq_to_evtch(int);
sys/arch/xen/x86/xen_intr.c
200
evtchn = bind_pirq_to_evtch(gsi);