Open Menu /

Defined in 2 files as a member:

Defined in 2 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_req.c rxe_requester() -> update_state()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 shpnt->attr.sq_draining 0
PARAM_VALUE 0 shpnt->ibqp.qp_context->device->qp_open_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 shpnt->ibqp.qp_context->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 shpnt->ibqp.qp_context->ib_cm.cm_id->lap_state 1
PARAM_VALUE 0 shpnt->ibqp.qp_context->ib_cm.cm_id->state 0-5,7-8,10-4294967295
PARAM_VALUE 0 shpnt->ibqp.qp_context->idle.keepalive 0
PARAM_VALUE 0 shpnt->ibqp.qp_context->status 0-4294967295
PARAM_VALUE 0 shpnt->req.noack_pkts 0
PARAM_VALUE 0 shpnt->req.psn 0-16777215
PARAM_VALUE 0 shpnt->skb_out.counter s32min-64
PARAM_VALUE 0 shpnt->sq.queue 4096-ptr_max
PARAM_VALUE 0 shpnt->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 shpnt->valid 1-u32max
PARAM_VALUE 1 pkt 8891943745583230976
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->mask 4214800,4215056,4272136,4272904,5287936,5288704,8409088,8409344,8433664,8434432,8466432,8467200,16797712,16797968,16855040,16855808,18919424,18919552,18920192,18920448,18921216,20001792,20002560,20987920,20987984-u32max
PARAM_VALUE 1 pkt->opcode 0-12,19-20,22-23,28-29,32-43,100-101
PARAM_VALUE 1 pkt->port_num 1
PARAM_VALUE 1 pkt->qp 4096-ptr_max
PARAM_VALUE 1 pkt->rxe 4096-ptr_max
PARAM_VALUE 1 pkt->wqe 4096-ptr_max
DATA_SOURCE 0 shpnt $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 shpnt->attr.cur_qp_state 0-6
USER_DATA 0 shpnt->attr.qp_state 1-5

drivers/scsi/pcmcia/aha152x_core.c is_complete() -> update_state()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
DATA_SOURCE 0 shpnt $0
HALF_LOCKED2 &pool->lock

Smatch assignments to (struct scmi_iterator_ops)->update_state:

drivers/firmware/arm_scmi/voltage.c scmi_voltage_levels_get() -> (struct scmi_iterator_ops)->update_state [4506245168221966336]

drivers/firmware/arm_scmi/perf.c scmi_perf_describe_levels_get() -> (struct scmi_iterator_ops)->update_state [5685792353844928512]

drivers/firmware/arm_scmi/sensors.c scmi_sensor_axis_description() -> (struct scmi_iterator_ops)->update_state [3259907101846540288]

drivers/firmware/arm_scmi/sensors.c scmi_sensor_axis_extended_names_get() -> (struct scmi_iterator_ops)->update_state [8638750283169988608]

drivers/firmware/arm_scmi/sensors.c scmi_sensor_description_get() -> (struct scmi_iterator_ops)->update_state [3479908306979815424]

drivers/firmware/arm_scmi/sensors.c scmi_sensor_update_intervals() -> (struct scmi_iterator_ops)->update_state [7801486667291279360]

drivers/firmware/arm_scmi/pinctrl.c scmi_pinctrl_list_associations() -> (struct scmi_iterator_ops)->update_state [5734137665740320768]

drivers/firmware/arm_scmi/pinctrl.c scmi_pinctrl_settings_get() -> (struct scmi_iterator_ops)->update_state [7570257927918714880]

drivers/firmware/arm_scmi/vendors/imx/imx-sm-misc.c scmi_imx_misc_syslog_get() -> (struct scmi_iterator_ops)->update_state [1378633231481782272]

drivers/firmware/arm_scmi/clock.c scmi_clock_describe_rates_get_full() -> (struct scmi_iterator_ops)->update_state [1348344366716215296]

drivers/firmware/arm_scmi/clock.c scmi_clock_describe_rates_get_lazy() -> (struct scmi_iterator_ops)->update_state [1348344366716215296]

drivers/firmware/arm_scmi/clock.c scmi_clock_possible_parents() -> (struct scmi_iterator_ops)->update_state [2972531820371865600]