Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/sd.c sd_open() -> sd_need_revalidate()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->open 4096-ptr_max
PARAM_VALUE 1 sdkp 4096-ptr_max
PARAM_VALUE 1 sdkp->device 4096-ptr_max
PARAM_VALUE 1 sdkp->device->host 4096-ptr_max
PARAM_VALUE 1 sdkp->device->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 1 sdkp->device->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 1 sdkp->device->host->shost_state 0-4,8-u32max
PARAM_VALUE 1 sdkp->device->sdev_state 0-2,5,8-u32max
BUF_SIZE 1 sdkp s32min-(-2),1-s32max
BUF_SIZE 1 sdkp s32min-(-2),1-s32max
DATA_SOURCE 0 disk $0
PARAM_COMPARE 0 disk->private_data == $1
PARAM_COMPARE 1 sdkp == $0->private_data
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sdkp unit_byte
LOCK2 &disk->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex