Symbol: xenevt_notify
sys/arch/xen/include/xen.h
73
void xenevt_notify(void);
sys/arch/xen/xen/xenevt.c
183
(void (*)(void *))xenevt_notify, NULL);