Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c resp_report_zones() -> zbc_zone_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 zsp 4096-ptr_max
DATA_SOURCE 0 zsp r zbc_zone
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c zbc_close_zone() -> zbc_zone_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 zsp 4096-ptr_max
CAPPED_DATA 0 zsp 1
DATA_SOURCE 0 zsp $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c zbc_inc_wp() -> zbc_zone_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 zsp 4096-ptr_max
DATA_SOURCE 0 zsp r zbc_zone
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 zsp 4096-ptr_max
CAPPED_DATA 0 zsp 1
DATA_SOURCE 0 zsp $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c zbc_rwp_zone() -> zbc_zone_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 zsp 4096-ptr_max
DATA_SOURCE 0 zsp $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex