Symbol: evtchn_do_event
sys/arch/xen/include/evtchn.h
39
unsigned int evtchn_do_event(int, struct intrframe *);
sys/arch/xen/x86/hypervisor_machdep.c
256
evtchn_do_event(port, regs);