Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_msghandler.c ipmi_smi_msg_received() -> ipmi_lock_xmit_msgs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->waiting_rcv_msgs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->waiting_rcv_msgs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->waiting_rcv_msgs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 5713322250808000512 |
| DATA_SOURCE | 0 | intf | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/char/ipmi/ipmi_msghandler.c smi_send() -> ipmi_lock_xmit_msgs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->stats | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 663558405864656896 |
| PARAM_VALUE | 2 | *flags | 0 |
| BUF_SIZE | 0 | intf->bmc | (-1),2048 |
| BUF_SIZE | 0 | intf->send_info | (-1),984,1000 |
| DATA_SOURCE | 0 | intf | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &ipmi_interfaces_mutex | ||
| HALF_LOCKED2 | 0 | &intf->bmc_reg_mutex | |
| HALF_LOCKED2 | 0 | &intf->events_mutex | |
| HALF_LOCKED2 | 0 | &intf->users_mutex |
drivers/char/ipmi/ipmi_msghandler.c smi_send() -> ipmi_lock_xmit_msgs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->curr_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->curr_msg->data_size | 0-u16max |
| PARAM_VALUE | 0 | intf->send_info->si_state | 7 |
| PARAM_VALUE | 0 | intf->stats | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 663558405864656896 |
| BUF_SIZE | 0 | intf->bmc | (-1),2048 |
| BUF_SIZE | 0 | intf->send_info | (-1),984,1000 |
| DATA_SOURCE | 0 | intf | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | intf->curr_msg->data_size | 2-283[c] |
| USER_DATA | 0 | intf->curr_msg->msgid | s64min-s64max |
| HALF_LOCKED2 | global &ipmi_interfaces_mutex | ||
| HALF_LOCKED2 | 0 | &intf->bmc_reg_mutex | |
| HALF_LOCKED2 | 0 | &intf->events_mutex | |
| HALF_LOCKED2 | 0 | &intf->users_mutex |
drivers/char/ipmi/ipmi_msghandler.c smi_work() -> ipmi_lock_xmit_msgs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 2997461353988427776 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/char/ipmi/ipmi_msghandler.c smi_work() -> ipmi_lock_xmit_msgs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->curr_msg->recv_msg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | intf->handlers | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->in_shutdown | 0 |
| PARAM_VALUE | 0 | intf->send_info->si_state | 7 |
| PARAM_VALUE | 0 | intf->xmit_msgs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | flags | 2997461353988427776 |
| CAPPED_DATA | 0 | &intf->hp_xmit_msgs | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |