Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c ipmi_add_smi() -> ipmi_bmc_unregister()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->addrinfo 4096-ptr_max
PARAM_VALUE 0 intf->bmc->dyn_id_set 1
PARAM_VALUE 0 intf->bmc->dyn_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->bmc->dyn_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->bmc->intfs.next 4096-ptr_max
PARAM_VALUE 0 intf->bmc->intfs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->bmc->intfs.prev 4096-ptr_max
PARAM_VALUE 0 intf->bmc->intfs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->bmc->intfs.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->bmc->pdev.dev.driver 8768289933603348520
PARAM_VALUE 0 intf->bmc->pdev.dev.release 8988710341748854784
PARAM_VALUE 0 intf->bmc->pdev.dev.type 614051760847736832
PARAM_VALUE 0 intf->bmc->pdev.id 0-s32max
PARAM_VALUE 0 intf->bmc->pdev.name 6146328568794824704
PARAM_VALUE 0 intf->bmc->usecount.refcount.refs.counter 1
PARAM_VALUE 0 intf->bmc_link.next->next 4096-ptr_max
PARAM_VALUE 0 intf->bmc_link.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->bmc_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->bmc_reg_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 intf->bmc_reg_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->bmc_reg_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 intf->bmc_reg_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->cmd_rcvrs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->cmd_rcvrs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->cmd_rcvrs.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->cmd_rcvrs_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 intf->events_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->handlers->request_events 2853871647372066816,4805717588150149120,7027909663835447296
PARAM_VALUE 0 intf->handlers->sender 410528705941729280,4040938868932038656,6298841640351924224
PARAM_VALUE 0 intf->handlers->shutdown 2768839397649022976,6791211897659940864,8725947030712139776
PARAM_VALUE 0 intf->handlers->start_processing 4040387080988221440,6790170644612849664,8539248811531161600
PARAM_VALUE 0 intf->hp_xmit_msgs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->hp_xmit_msgs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->hp_xmit_msgs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 intf->hp_xmit_msgs.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 intf->send_info->data_len 0-255
PARAM_VALUE 0 intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 intf->send_info->got_alert 0
PARAM_VALUE 0 intf->send_info->i2c_command 2,6
PARAM_VALUE 0 intf->send_info->i2c_read_write 0
PARAM_VALUE 0 intf->send_info->i2c_size 5
PARAM_VALUE 0 intf->send_info->in_maintenance_mode 0-1
PARAM_VALUE 0 intf->send_info->intf->watchdog_pretimeouts_to_deliver.counter 1
PARAM_VALUE 0 intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 intf->send_info->multi_pos 32
PARAM_VALUE 0 intf->send_info->retries_left 5
PARAM_VALUE 0 intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 intf->send_info->thread->delays->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid 0-1,7,11
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->index 0-7
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.entry.next s64max
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->wake_cpu 0-s32max
PARAM_VALUE 0 intf->send_info->waiting_msg 0
PARAM_VALUE 0 intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 0 intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.wait.lock.owner (-1)
PARAM_VALUE 0 intf->send_info->wake_thread.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->send_info->watch_timeout 0-536870912
PARAM_VALUE 0 intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->seq_table 4096-ptr_max
PARAM_VALUE 0 intf->si_dev->driver_data 4096-ptr_max
PARAM_VALUE 0 intf->smi_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 intf->stats 4096-ptr_max
PARAM_VALUE 0 intf->user_msgs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->user_msgs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->user_msgs.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->user_msgs_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->users.next->next 4096-ptr_max
PARAM_VALUE 0 intf->users.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->users.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->waiting_events.next->next 4096-ptr_max
PARAM_VALUE 0 intf->waiting_events.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->waiting_events.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->waiting_rcv_msgs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->waiting_rcv_msgs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->waiting_rcv_msgs.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 intf->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 intf->xmit_msgs.next->next 4096-ptr_max
PARAM_VALUE 0 intf->xmit_msgs.prev->next 4096-ptr_max
PARAM_VALUE 0 intf->xmit_msgs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 intf->xmit_msgs.prev->prev 4096-ptr_max
BUF_SIZE 0 intf 7296
CAPPED_DATA 0 intf 1
CAPPED_DATA 0 &intf->bmc_reg_mutex 1
DATA_SOURCE 0 intf r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ipmi_interfaces_mutex
LOCK2 global &smi_watchers_mutex
HALF_LOCKED2 global &smi_infos_lock
HALF_LOCKED2 global &ssif_infos_mutex

drivers/char/ipmi/ipmi_msghandler.c ipmi_unregister_smi() -> ipmi_bmc_unregister()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->events_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 intf->events_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 intf->handlers 4096-ptr_max
PARAM_VALUE 0 intf->in_shutdown 1
PARAM_VALUE 0 intf->intf_num (-1)
PARAM_VALUE 0 intf->send_info->si_timer.is_queued 0-1
PARAM_VALUE 0 intf->send_info->watch_timer.is_hard 0-1
PARAM_VALUE 0 intf->send_info->watch_timer.is_lazy 0-1
PARAM_VALUE 0 intf->send_info->watch_timer.is_queued 0-1
PARAM_VALUE 0 intf->send_info->watch_timer.is_soft 0-1
PARAM_VALUE 0 intf->si_dev 0,4096-ptr_max
PARAM_VALUE 0 intf->si_dev->kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 intf->si_dev->kobj.sd->__parent 0
PARAM_VALUE 0 intf->smi_work.lockdep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->users_mutex.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 &intf->smi_work 1
CAPPED_DATA 0 &intf->users 1
CAPPED_DATA 0 &intf->users_mutex 1
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &smi_infos_lock
HALF_LOCKED2 global &ssif_infos_mutex