xen_sync_pcpus    338 drivers/xen/pcpu.c 	xen_sync_pcpus();
xen_sync_pcpus    404 drivers/xen/pcpu.c 	ret = xen_sync_pcpus();