Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c _ipmi_panic_request_and_wait() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 0
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->addrinfo 4096-ptr_max
PARAM_VALUE 1 intf->run_to_completion 1
PARAM_VALUE 2 addr 3213655065681678336,5402205135498354688,8433008087352446976
PARAM_VALUE 3 msgid 0
PARAM_VALUE 4 msg 1704945197799829504,6776519014227050496,7620686442125369344
PARAM_VALUE 4 msg->cmd 1-2,34,36,68
PARAM_VALUE 4 msg->data 0,4096-ptr_max
PARAM_VALUE 4 msg->data_len 0,6,8,16
PARAM_VALUE 4 msg->netfn 4,6,10
PARAM_VALUE 5 user_msg_data 4096-ptr_max
PARAM_VALUE 6 supplied_smi 2794125792281944064
PARAM_VALUE 7 supplied_recv 3791774150500601856
PARAM_VALUE 7 supplied_recv->done 8193103501352513536
PARAM_VALUE 8 priority 0
PARAM_VALUE 11 retries 0
PARAM_VALUE 12 retry_time_ms 1
BUF_SIZE 2 addr (-1),8
BUF_SIZE 2 addr (-1),8
BUF_SIZE 6 supplied_smi 600
DATA_SOURCE 1 intf $0
DATA_SOURCE 2 addr $1
DATA_SOURCE 4 msg $2
DATA_SOURCE 5 user_msg_data $0
HARD_MAX 4 msg->cmd 68
HARD_MAX 4 msg->data_len 16
HARD_MAX 4 msg->netfn 10
RX_PATH

drivers/char/ipmi/ipmi_msghandler.c ipmi_request_settime() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 2 addr->addr_type 1,4,12,65,129
PARAM_VALUE 2 addr->channel 0-15
PARAM_VALUE 4 msg 4096-ptr_max
PARAM_VALUE 4 msg->data_len 0-272
PARAM_VALUE 5 user_msg_data 0,4096-ptr_max
PARAM_VALUE 6 supplied_smi 0
PARAM_VALUE 7 supplied_recv 0
PARAM_VALUE 8 priority 0
BUF_SIZE 5 user_msg_data s32min-(-1),1-s32max
BUF_SIZE 5 user_msg_data s32min-(-1),1-s32max
DATA_SOURCE 0 user $0 [m]
DATA_SOURCE 2 addr $1
DATA_SOURCE 3 msgid $2
DATA_SOURCE 4 msg $3
DATA_SOURCE 5 user_msg_data $4
DATA_SOURCE 8 priority $5
DATA_SOURCE 11 retries $6
DATA_SOURCE 12 retry_time_ms $7
PARAM_COMPARE 0 user == $0
NOSPEC 2 addr->channel
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr->addr_type 1,4,12,65,129
USER_DATA 2 addr->channel 0-15[c]
USER_DATA 3 msgid s64min-s64max
USER_DATA 4 msg->cmd 0-255
USER_DATA 4 msg->data_len 0-272
USER_DATA 4 msg->netfn 0-255
USER_DATA 11 retries s32min-s32max
USER_DATA 12 retry_time_ms 0-u32max
UNITS 5 user_msg_data unit_byte
USER_PTR 2 addr->data
USER_PTR 4 msg->data

drivers/char/ipmi/ipmi_msghandler.c ipmi_request_supply_msgs() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 2 addr->channel 0-15
PARAM_VALUE 3 msgid 0
PARAM_VALUE 4 msg 431582183557562368,1109982693576708096,3373070071133028352,5843413152217436160,5888338227950751744,6039333690935492608,6776519014227050496,8014143949939601408
PARAM_VALUE 4 msg->cmd 1-2,17,34,36,128,130,132,163
PARAM_VALUE 4 msg->data 0,4096-ptr_max
PARAM_VALUE 4 msg->data_len 0-1,3-4,6
PARAM_VALUE 4 msg->netfn 0,4,6,44,46,62
PARAM_VALUE 5 user_msg_data 0,3207055897624596480
PARAM_VALUE 6 supplied_smi 3409010225744957440,8636359828154597376
PARAM_VALUE 7 supplied_recv 3000741373498392576,6709066963424169984
PARAM_VALUE 7 supplied_recv->msg.data 0,4096-ptr_max
PARAM_VALUE 7 supplied_recv->user 0,4096-ptr_max
PARAM_VALUE 8 priority 0-1
PARAM_VALUE 11 retries (-1)
PARAM_VALUE 12 retry_time_ms 0
BUF_SIZE 2 addr 8
BUF_SIZE 2 addr 8
BUF_SIZE 5 user_msg_data (-1),96
BUF_SIZE 5 user_msg_data (-1),96
BUF_SIZE 6 supplied_smi (-1),600
BUF_SIZE 6 supplied_smi (-1),600
DATA_SOURCE 0 user $0 [m]
DATA_SOURCE 2 addr $1
DATA_SOURCE 3 msgid $2
DATA_SOURCE 4 msg $3
DATA_SOURCE 5 user_msg_data $4
DATA_SOURCE 6 supplied_smi $5
DATA_SOURCE 7 supplied_recv $6
DATA_SOURCE 8 priority $7
PARAM_COMPARE 0 user == $0
HARD_MAX 4 msg->cmd 163
HARD_MAX 4 msg->data_len 6
HARD_MAX 4 msg->netfn 62
HARD_MAX 8 priority 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ipmi_watchdog_mutex

drivers/char/ipmi/ipmi_msghandler.c send_channel_info_cmd() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 0
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->addrinfo 4096-ptr_max
PARAM_VALUE 1 intf->curr_channel s32min-15
PARAM_VALUE 1 intf->null_user_handler 1-u64max
PARAM_VALUE 1 intf->wchannels 4096-ptr_max
PARAM_VALUE 2 addr 7093324502832283648
PARAM_VALUE 3 msgid 0
PARAM_VALUE 4 msg 1519133202130100224
PARAM_VALUE 4 msg->cmd 66
PARAM_VALUE 4 msg->data 7338447108736290816
PARAM_VALUE 4 msg->data_len 1
PARAM_VALUE 4 msg->netfn 6
PARAM_VALUE 5 user_msg_data 4096-ptr_max
PARAM_VALUE 6 supplied_smi 0
PARAM_VALUE 7 supplied_recv 0
PARAM_VALUE 8 priority 0
PARAM_VALUE 11 retries (-1)
PARAM_VALUE 12 retry_time_ms 0
BUF_SIZE 1 intf (-1),7296
BUF_SIZE 1 intf (-1),7296
BUF_SIZE 1 intf->bmc (-1),2048
BUF_SIZE 1 intf->send_info (-1),984,1000
BUF_SIZE 2 addr 8
BUF_SIZE 5 user_msg_data (-1),7296
CAPPED_DATA 1 intf 1
DATA_SOURCE 1 intf $0
DATA_SOURCE 5 user_msg_data $0
HARD_MAX 1 intf->curr_channel 15
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 1 &intf->bmc_reg_mutex
HALF_LOCKED2 1 &intf->events_mutex

drivers/char/ipmi/ipmi_msghandler.c send_get_device_id_cmd() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 0
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->addrinfo 4096-ptr_max
PARAM_VALUE 1 intf->bmc 4096-ptr_max
PARAM_VALUE 1 intf->bmc->dyn_guid_set 0
PARAM_VALUE 1 intf->bmc->dyn_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->bmc->dyn_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->bmc->dyn_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 1 intf->bmc_reg_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 intf->curr_msg->data_size 0-u16max
PARAM_VALUE 1 intf->hp_xmit_msgs.prev 4096-ptr_max
PARAM_VALUE 1 intf->hp_xmit_msgs.prev->next 4096-ptr_max
PARAM_VALUE 1 intf->hp_xmit_msgs.prev->next->next 4096-ptr_max
PARAM_VALUE 1 intf->in_bmc_register 0
PARAM_VALUE 1 intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 intf->null_user_handler 5654384006595121152
PARAM_VALUE 1 intf->send_info->data_len 0-255
PARAM_VALUE 1 intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 1 intf->send_info->got_alert 0
PARAM_VALUE 1 intf->send_info->i2c_command 2,6
PARAM_VALUE 1 intf->send_info->i2c_read_write 0
PARAM_VALUE 1 intf->send_info->i2c_size 5
PARAM_VALUE 1 intf->send_info->in_maintenance_mode 0-1
PARAM_VALUE 1 intf->send_info->intf->watchdog_pretimeouts_to_deliver.counter 1
PARAM_VALUE 1 intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 intf->send_info->multi_len 33-4294967295
PARAM_VALUE 1 intf->send_info->multi_pos 32
PARAM_VALUE 1 intf->send_info->retries_left 5
PARAM_VALUE 1 intf->send_info->si_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 intf->send_info->si_timer.is_hard 0-1
PARAM_VALUE 1 intf->send_info->si_timer.is_lazy 0-1
PARAM_VALUE 1 intf->send_info->si_timer.is_queued 0-1
PARAM_VALUE 1 intf->send_info->si_timer.is_soft 0-1
PARAM_VALUE 1 intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 1 intf->send_info->thread->delays->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->active_balance s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->clock_update_flags 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_enabled 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_forceidle_count 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_forceidle_occupation 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_forceidle_seq 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_pick_seq 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_sched_seq 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->core_task_seq 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->cpu s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->has_blocked_load 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->hrtick_sched 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->idle_balance 0-255
PARAM_VALUE 1 intf->send_info->thread->dl.rq->membarrier_state s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nohz_idle_balance 0-255
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nohz_tick_stopped 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nr_llc_running 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nr_numa_running 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nr_pinned 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nr_pref_llc_running 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->nr_preferred_running 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->numa_migrate_on 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->online s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->push_busy 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->push_cpu s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->sched_count 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->sched_goidle 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->ticks_without_resched s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->dl.rq->ttwu_count 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->ttwu_local 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->ttwu_pending 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->uclamp_flags 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->dl.rq->yld_count 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->propagate 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->clockid 0-1,7,11
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->index 0-7
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid 0-1,7,11
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->index 0-7
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->dl.rb_node.__rb_parent_color 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->se.run_node.rb_left->rb_right 0
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->rq->donor->se.run_node.rb_right->rb_left 0
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_left 0
PARAM_VALUE 1 intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_right 0
PARAM_VALUE 1 intf->send_info->waiting_msg 0
PARAM_VALUE 1 intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 1 intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 1 intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 1 intf->send_info->wake_thread.last_holder 0
PARAM_VALUE 1 intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 1 intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 1 intf->send_info->wake_thread.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 intf->send_info->watch_timeout 0-536870912
PARAM_VALUE 1 intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 1 intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->seq_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 intf->seq_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 intf->seq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 intf->seq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 intf->smi_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 1 intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->users_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 intf->users_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 intf->users_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 intf->users_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 intf->xmit_msgs.prev 4096-ptr_max
PARAM_VALUE 1 intf->xmit_msgs.prev->next 4096-ptr_max
PARAM_VALUE 1 intf->xmit_msgs.prev->next->next 4096-ptr_max
PARAM_VALUE 1 intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 *intf->send_info->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *intf->send_info->wake_thread.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 addr 2367635698614697984
PARAM_VALUE 3 msgid 0
PARAM_VALUE 4 msg 2311879951631384576
PARAM_VALUE 4 msg->cmd 1
PARAM_VALUE 4 msg->data 0
PARAM_VALUE 4 msg->data_len 0
PARAM_VALUE 4 msg->netfn 6
PARAM_VALUE 5 user_msg_data 4096-ptr_max
PARAM_VALUE 6 supplied_smi 0
PARAM_VALUE 7 supplied_recv 0
PARAM_VALUE 8 priority 0
PARAM_VALUE 11 retries (-1)
PARAM_VALUE 12 retry_time_ms 0
BUF_SIZE 1 intf->bmc (-1),2048
BUF_SIZE 1 intf->send_info (-1),984,1000
BUF_SIZE 2 addr 8
CAPPED_DATA 1 intf 1
DATA_SOURCE 1 intf $0
DATA_SOURCE 5 user_msg_data $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bmc->dyn_mutex
LOCK2 1 &intf->bmc_reg_mutex
HALF_LOCKED2 global &ipmi_interfaces_mutex
HALF_LOCKED2 global &smi_watchers_mutex
TYPE_LOCK (struct bmc_device)->dyn_mutex
TYPE_LOCK (struct ipmi_smi)->bmc_reg_mutex

drivers/char/ipmi/ipmi_msghandler.c send_guid_cmd() -> i_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 user 0
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->addrinfo 4096-ptr_max
PARAM_VALUE 1 intf->bmc 4096-ptr_max
PARAM_VALUE 1 intf->bmc->dyn_guid_set 2
PARAM_VALUE 1 intf->bmc->dyn_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->bmc->dyn_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->bmc->dyn_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 intf->bmc_reg_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 1 intf->bmc_reg_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 intf->bmc_reg_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 intf->in_bmc_register 0
PARAM_VALUE 1 intf->maintenance_mode_state 0
PARAM_VALUE 1 intf->null_user_handler 4227513855094071296
PARAM_VALUE 2 addr 4485236897754591232
PARAM_VALUE 3 msgid 0
PARAM_VALUE 4 msg 8259997474686595072
PARAM_VALUE 4 msg->cmd 8
PARAM_VALUE 4 msg->data 0
PARAM_VALUE 4 msg->data_len 0
PARAM_VALUE 4 msg->netfn 6
PARAM_VALUE 5 user_msg_data 4096-ptr_max
PARAM_VALUE 6 supplied_smi 0
PARAM_VALUE 7 supplied_recv 0
PARAM_VALUE 8 priority 0
PARAM_VALUE 11 retries (-1)
PARAM_VALUE 12 retry_time_ms 0
BUF_SIZE 1 intf->bmc (-1),2048
BUF_SIZE 1 intf->send_info (-1),984,1000
BUF_SIZE 2 addr 8
CAPPED_DATA 1 intf 1
DATA_SOURCE 1 intf $0
DATA_SOURCE 5 user_msg_data $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bmc->dyn_mutex
LOCK2 1 &intf->bmc_reg_mutex
HALF_LOCKED2 global &ipmi_interfaces_mutex
HALF_LOCKED2 global &smi_watchers_mutex
TYPE_LOCK (struct bmc_device)->dyn_mutex
TYPE_LOCK (struct ipmi_smi)->bmc_reg_mutex