Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_lib.c scsi_dev_queue_ready() -> sbitmap_put()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->alloc_hint 4096-ptr_max
PARAM_VALUE 0 sb->map 1-u64max
PARAM_VALUE 1 bitnr 0-s32max
CAPPED_DATA 1 bitnr 1
DATA_SOURCE 1 bitnr r sbitmap_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/scsi/scsi_lib.c scsi_device_unbusy() -> sbitmap_put()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->map 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/scsi_lib.c scsi_mq_put_budget() -> sbitmap_put()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->map 1-u64max
DATA_SOURCE 1 bitnr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read