/* Schedules a call to dasd_tasklet over the device tasklet.  */
void dasd_schedule_device_bh(struct dasd_device *device)
/* Schedules a call to dasd_tasklet over the device tasklet.  */
void dasd_schedule_device_bh(struct dasd_device *device)
{
	if (atomic_cmpxchg (&device->tasklet_scheduled, 0, 1) != 0)
		return;
	dasd_get_device(device);
	tasklet_hi_schedule(&device->tasklet);
}