ccw_device_trigger_reprobe 1466 drivers/s390/cio/device.c 		ccw_device_trigger_reprobe(cdev);
ccw_device_trigger_reprobe 1554 drivers/s390/cio/device.c 		ccw_device_trigger_reprobe(cdev);
ccw_device_trigger_reprobe  132 drivers/s390/cio/device.h void ccw_device_trigger_reprobe(struct ccw_device *);