ccw_device_disband_done  127 drivers/s390/cio/device.h void ccw_device_disband_done(struct ccw_device *, int);
ccw_device_disband_done  590 drivers/s390/cio/device_pgid.c 	ccw_device_disband_done(cdev, rc);