Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/storage/isd200.c isd200_ata_command() -> isd200_srb_set_bufflen()

Type Parameter Key Value
PARAM_VALUE 0 srb 4096-ptr_max
DATA_SOURCE 0 srb $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srb->sdb.table.sgl->length
UNITS 1 bufflen unit_byte
HALF_LOCKED2 &us->dev_mutex

drivers/usb/storage/isd200.c isd200_scsi_to_ata() -> isd200_srb_set_bufflen()

Type Parameter Key Value
PARAM_VALUE 0 srb 4096-ptr_max
PARAM_VALUE 1 bufflen 0
DATA_SOURCE 0 srb $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srb->sdb.table.sgl->length
HALF_LOCKED2 &us->dev_mutex

drivers/usb/storage/isd200.c isd200_scsi_to_ata() -> isd200_srb_set_bufflen()

Type Parameter Key Value
PARAM_VALUE 0 srb 4096-ptr_max
PARAM_VALUE 1 bufflen 0
DATA_SOURCE 0 srb $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srb->sdb.table.sgl->length
HALF_LOCKED2 &us->dev_mutex

drivers/usb/storage/isd200.c isd200_scsi_to_ata() -> isd200_srb_set_bufflen()

Type Parameter Key Value
PARAM_VALUE 0 srb 4096-ptr_max
PARAM_VALUE 1 bufflen 0
DATA_SOURCE 0 srb $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srb->sdb.table.sgl->length
HALF_LOCKED2 &us->dev_mutex

drivers/usb/storage/isd200.c isd200_scsi_to_ata() -> isd200_srb_set_bufflen()

Type Parameter Key Value
PARAM_VALUE 0 srb 4096-ptr_max
PARAM_VALUE 1 bufflen 0
DATA_SOURCE 0 srb $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srb->sdb.table.sgl->length
HALF_LOCKED2 &us->dev_mutex