Symbol: xen_cpu_init_eoi
drivers/xen/events/events_base.c
2259
xen_cpu_init_eoi(cpu);
drivers/xen/events/events_base.c
2289
xen_cpu_init_eoi(smp_processor_id());