Symbol: xen_sync_pcpus
drivers/xen/pcpu.c
343
xen_sync_pcpus();
drivers/xen/pcpu.c
374
ret = xen_sync_pcpus();