Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/char/ipmi/ipmi_watchdog.c ipmi_register_watchdog() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 2285167694484471808
PARAM_VALUE 0 user->handler_data 0
PARAM_VALUE 0 user->nr_msgs.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/char/ipmi/ipmi_watchdog.c ipmi_unregister_watchdog() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ipmi_watchdog_mutex
HALF_LOCKED2 global &smi_watchers_mutex

drivers/char/ipmi/ipmi_devintf.c ipmi_release() -> ipmi_destroy_user()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hwmon/ibmaem.c aem_delete() -> ipmi_destroy_user()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/hwmon/ibmaem.c aem_init_aem1_inst() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 1750387920018178104
PARAM_VALUE 0 user->handler_data s64min-(-4096),4096-s64max
PARAM_VALUE 0 user->nr_msgs.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &smi_watchers_mutex

drivers/hwmon/ibmaem.c aem_init_aem2_inst() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 1750387920018178104
PARAM_VALUE 0 user->handler_data s64min-(-4096),4096-s64max
PARAM_VALUE 0 user->nr_msgs.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &smi_watchers_mutex

drivers/hwmon/ibmaem.c aem_register_bmc() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 1750387920018178104
PARAM_VALUE 0 user->handler_data 1232165224349908992
PARAM_VALUE 0 user->intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 user->intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 user->intf->send_info->data_len 0-255
PARAM_VALUE 0 user->intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 user->intf->send_info->i2c_command 2,6
PARAM_VALUE 0 user->intf->send_info->i2c_size 5
PARAM_VALUE 0 user->intf->send_info->in_maintenance_mode 0-1
PARAM_VALUE 0 user->intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 user->intf->send_info->multi_pos 32
PARAM_VALUE 0 user->intf->send_info->retries_left 5
PARAM_VALUE 0 user->intf->send_info->si_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->si_timer.is_hard 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_lazy 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_queued 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_soft 0-1
PARAM_VALUE 0 user->intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->thread->delays->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->active_balance s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->clock_update_flags 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_enabled 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_forceidle_count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_forceidle_occupation 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_forceidle_seq 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_pick_seq 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_sched_seq 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->core_task_seq 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->cpu s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->has_blocked_load 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->hrtick_sched 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->idle_balance 0-255
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->membarrier_state s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nohz_idle_balance 0-255
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nohz_tick_stopped 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nr_llc_running 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nr_numa_running 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nr_pinned 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nr_pref_llc_running 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->nr_preferred_running 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->numa_migrate_on 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->online s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->push_busy 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->push_cpu s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->sched_count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->sched_goidle 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->ticks_without_resched s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->ttwu_count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->ttwu_local 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->ttwu_pending 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->uclamp_flags 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->dl.rq->yld_count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->propagate 1
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->index 0-7
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 0 user->intf->send_info->waiting_msg 0
PARAM_VALUE 0 user->intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 user->intf->send_info->watch_timeout 0-536870912
PARAM_VALUE 0 user->intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 user->intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 user->intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 user->intf->users_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 user->intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->nr_msgs.counter 0
CAPPED_DATA 0 user 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &smi_watchers_mutex

drivers/acpi/acpi_ipmi.c ipmi_dev_release() -> ipmi_destroy_user()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/char/ipmi/ipmi_poweroff.c ipmi_po_new_smi() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 1911305775724740608
PARAM_VALUE 0 user->handler_data 0
PARAM_VALUE 0 user->intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 user->intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->data_len 0-255
PARAM_VALUE 0 user->intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 user->intf->send_info->i2c_command 2,6
PARAM_VALUE 0 user->intf->send_info->i2c_size 5
PARAM_VALUE 0 user->intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 user->intf->send_info->multi_pos 32
PARAM_VALUE 0 user->intf->send_info->retries_left 5
PARAM_VALUE 0 user->intf->send_info->si_timer.is_hard 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_lazy 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_soft 0-1
PARAM_VALUE 0 user->intf->send_info->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->thread->delays->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->clockid 0-1,7,11
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->index 0-7
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.entry.next s64max
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->on_rq 0-1,3-255
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->donor->wake_cpu 0-s32max
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_left 0
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_right 0
PARAM_VALUE 0 user->intf->send_info->waiting_msg 0
PARAM_VALUE 0 user->intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->send_info->wake_thread.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 user->intf->send_info->wake_thread.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 user->intf->send_info->watch_timeout 0-536870912
PARAM_VALUE 0 user->intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 user->intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 user->intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 user->intf->users_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 user->intf->watch_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->nr_msgs.counter 0
PARAM_VALUE 0 *user->intf->send_info->curr_msg->rsp 0-255
PARAM_VALUE 0 *user->intf->send_info->i2c_data 0-255
PARAM_VALUE 0 *user->intf->send_info->multi_data 0-255
PARAM_VALUE 0 *user->intf->send_info->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/char/ipmi/ipmi_poweroff.c ipmi_po_smi_gone() -> ipmi_destroy_user()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/hwmon/ibmpex.c ibmpex_bmc_delete() -> ipmi_destroy_user()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/hwmon/ibmpex.c ibmpex_register_bmc() -> ipmi_destroy_user()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 7913786859716952120
PARAM_VALUE 0 user->handler_data s64min-(-4096),4096-s64max
PARAM_VALUE 0 user->intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 user->intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 user->intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 user->intf->send_info->i2c_command 2,6
PARAM_VALUE 0 user->intf->send_info->i2c_size 5
PARAM_VALUE 0 user->intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 user->intf->send_info->multi_pos 32
PARAM_VALUE 0 user->intf->send_info->si_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->send_info->si_timer.is_hard 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_lazy 0-1
PARAM_VALUE 0 user->intf->send_info->si_timer.is_soft 0-1
PARAM_VALUE 0 user->intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 user->intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->propagate 1
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 user->intf->send_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 user->intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 user->intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 user->intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 user->intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 user->intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 user->nr_msgs.counter 0
PARAM_VALUE 0 *user->intf->send_info->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *user->intf->send_info->wake_thread.wait.lock.owner (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 user 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &smi_watchers_mutex