Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/ipr.c ipr_handle_config_change() -> ipr_init_res_entry()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 cfgtew 6103611740154150912
PARAM_VALUE 1 cfgtew->u.cfgte 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 ioa_cfg->host->host_lock
HALF_LOCKED2 lock_flags

drivers/scsi/ipr.c ipr_init_res_table() -> ipr_init_res_entry()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->queue.next 4096-ptr_max
PARAM_VALUE 1 cfgtew 566816854322528256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 hrrq->lock
HALF_LOCKED2 hrrq_flags
HALF_LOCKED2 ioa_cfg->host->host_lock
HALF_LOCKED2 lock_flags