Symbol: xen_set_upcall_vector
drivers/xen/events/events_base.c
2217
int xen_set_upcall_vector(unsigned int cpu)
drivers/xen/events/events_base.c
2247
int xen_set_upcall_vector(unsigned int cpu) {}