pcpu_release      226 drivers/xen/pcpu.c 	dev->release = pcpu_release;
pcpu_release      231 drivers/xen/pcpu.c 		pcpu_release(dev);