Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwmon/ibmpex.c ibmpex_find_sensors() -> ibmpex_query_sensor_count()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->address.addr_type 1,4,12,65,129
PARAM_VALUE 0 data->address.channel 0-15
PARAM_VALUE 0 data->address.data 4096-ptr_max
PARAM_VALUE 0 data->bmc_device 4096-ptr_max
PARAM_VALUE 0 data->hwmon_dev 4096-ptr_max
PARAM_VALUE 0 data->list.next 7913786859716952064
PARAM_VALUE 0 data->list.prev 4096-ptr_max
PARAM_VALUE 0 data->lock.dep_map->name 0-255
PARAM_VALUE 0 data->lock.first_waiter 0
PARAM_VALUE 0 data->lock.magic 4096-ptr_max
PARAM_VALUE 0 data->lock.osq.tail.counter 0
PARAM_VALUE 0 data->lock.owner.counter 0
PARAM_VALUE 0 data->read_complete.done 0-4294967293,u32max
PARAM_VALUE 0 data->read_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 data->read_complete.wait.lock.owner (-1)
PARAM_VALUE 0 data->read_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 data->read_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 data->rx_msg_len 6
PARAM_VALUE 0 data->rx_result 0
PARAM_VALUE 0 data->tx_message.cmd 60
PARAM_VALUE 0 data->tx_message.data_len 1
PARAM_VALUE 0 data->tx_message.netfn 58
PARAM_VALUE 0 data->user 4096-ptr_max
PARAM_VALUE 0 data->user->destroyed.refs.counter 1
PARAM_VALUE 0 data->user->gets_events 0
PARAM_VALUE 0 data->user->handler 7913786859716952120
PARAM_VALUE 0 data->user->handler_data s64min-(-4096),4096-s64max
PARAM_VALUE 0 data->user->intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 data->user->intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->user->intf->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 data->user->intf->send_info->si_timer.is_queued 0-1
PARAM_VALUE 0 data->user->intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 data->user->intf->send_info->thread->delays->lock.owner_cpu 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->delays->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->active_balance s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->clock_update_flags 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_enabled 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_forceidle_count 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_forceidle_occupation 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_forceidle_seq 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_pick_seq 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_sched_seq 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->core_task_seq 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->cpu s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->has_blocked_load 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->hrtick_sched 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->idle_balance 0-255
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->membarrier_state s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nohz_idle_balance 0-255
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nohz_tick_stopped 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nr_llc_running 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nr_numa_running 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nr_pinned 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nr_pref_llc_running 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->nr_preferred_running 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->numa_migrate_on 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->online s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->push_busy 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->push_cpu s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->sched_count 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->sched_goidle 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->ticks_without_resched s32min-s32max
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->ttwu_count 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->ttwu_local 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->ttwu_pending 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->uclamp_flags 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->dl.rq->yld_count 0-4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->curr 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->propagate 1
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->donor->rt.back->back 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->donor->saved_state 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->donor->se.my_q->propagate 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_bw 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_deadline 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_density 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_overrun 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_period 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_runtime 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_server 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_yielded 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->flags 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.parent->my_q->prop_runnable_sum 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.parent->my_q->propagate 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.run_node.rb_left->rb_right 0
PARAM_VALUE 0 data->user->intf->send_info->thread->se.run_node.rb_right->rb_left 0
PARAM_VALUE 0 data->user->intf->send_info->waiting_msg 0
PARAM_VALUE 0 data->user->intf->send_info->wake_thread->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 data->user->intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 data->user->intf->send_info->wake_thread.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 data->user->intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 data->user->intf->seq_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 data->user->intf->seq_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 data->user->intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 data->user->intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 data->user->intf->users_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 data->user->intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 data->user->nr_msgs.counter 0
BUF_SIZE 0 data 952
BUF_SIZE 0 data->hwmon_dev 1616
BUF_SIZE 0 data->tx_message.data 272
CAPPED_DATA 0 data->hwmon_dev 1
CAPPED_DATA 0 data->interface 1
DATA_SOURCE 0 data $0
TERMINATED 0 data->address.data 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_watchers_mutex