default_storage_key, flags); 
PAGE_DEFAULT_KEY, flags); 
ccw_device_start(struct ccw_device *cdev, struct ccw1 *cpa,		 unsigned long intparm, __u8 lpm, unsigned long flags){	return ccw_device_start_key(cdev, cpa, intparm, lpm,				    default_storage_key, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b642ede47969d4180b0922d982777fe64379228/device_ops.c/buggy/drivers/s390/cio/device_ops.c