Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_pr.c core_scsi3_emulate_pro_register() -> core_scsi3_check_implicit_release()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->t10_pr.registration_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->transport->get_alignment_offset_lbas 0,2216225338472878080
PARAM_VALUE 0 dev->transport->get_device_type 4850256213186490368,5599195229675327488,8676007830667583488
PARAM_VALUE 0 dev->transport->get_lbppbe 0,6660477041369456640
PARAM_VALUE 0 dev->transport->parse_cdb 439634959342690304,3298765662198030336,3516650349575311360,4904684033001054208,5442024552033894400
PARAM_VALUE 0 dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 1 pr_reg 4096-ptr_max
CAPPED_DATA 1 pr_reg->pr_reg_nacl 1
DATA_SOURCE 1 pr_reg r core_scsi3_locate_pr_reg
BIT_INFO 0 dev->dev_reservation_flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock