Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c check_zbc_access_params() -> zbc_open_zone()

Type Parameter Key Value
PARAM_VALUE 0 devip 4096-ptr_max
PARAM_VALUE 1 zsp 4096-ptr_max
PARAM_VALUE 1 zsp->z_cond 1,4
PARAM_VALUE 1 zsp->z_type 0,2-4,6-u32max
PARAM_VALUE 2 explicit 0
BUF_SIZE 0 devip 12,16,18,24,32,272,280,520,2064
BUF_SIZE 0 devip 12,16,18,24,32,272,280,520,2064
CAPPED_DATA 1 zsp 1
DATA_SOURCE 1 zsp r zbc_zone
FUZZY_MAX 1 zsp->z_type 2
BIT_INFO 1 zsp->z_cond 0x0,0x5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 devip unit_byte
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_open_zone() -> zbc_open_zone()

Type Parameter Key Value
PARAM_VALUE 0 devip 4096-ptr_max
PARAM_VALUE 0 devip->nr_zones 1-u32max
PARAM_VALUE 1 zsp 4096-ptr_max
PARAM_VALUE 1 zsp->z_cond 0-2,4-13,15-u32max
PARAM_VALUE 1 zsp->z_start 0-255
PARAM_VALUE 1 zsp->z_type 0,2-u32max
PARAM_VALUE 2 explicit 1
BUF_SIZE 0 devip (-1),12,16,18,24,32,272,280,520,2064
BUF_SIZE 0 devip (-1),12,16,18,24,32,272,280,520,2064
CAPPED_DATA 0 devip->nr_zones 1
CAPPED_DATA 1 zsp->z_start 1
DATA_SOURCE 0 devip $1
DATA_SOURCE 1 zsp r zbc_zone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devip->nr_zones
UNITS 0 devip unit_byte
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c zbc_open_all() -> zbc_open_zone()

Type Parameter Key Value
PARAM_VALUE 0 devip 4096-ptr_max
PARAM_VALUE 0 devip->nr_zones 1-u32max
PARAM_VALUE 0 devip->zstate 4096-ptr_max
PARAM_VALUE 1 zsp 4096-ptr_max
PARAM_VALUE 2 explicit 1
BUF_SIZE 0 devip (-1),12,16,18,24,32,272,280,520,2064
BUF_SIZE 0 devip (-1),12,16,18,24,32,272,280,520,2064
DATA_SOURCE 0 devip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 devip->nr_zones
UNITS 0 devip unit_byte
HALF_LOCKED2 &sdev->state_mutex