Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> ipmi_ipmb_send_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iidev | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->next_msg | 0 |
| PARAM_VALUE | 0 | iidev->slave | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->stopping | 0 |
| PARAM_VALUE | 0 | iidev->wake_thread.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner | (-1) |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iidev->xmitlen | 34-s32max |
| PARAM_VALUE | 0 | *iidev->xmitmsg | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | cc | 200 |
| BUF_SIZE | 0 | iidev | 128 |
| BUF_SIZE | 0 | iidev | 128 |
| DATA_SOURCE | 0 | iidev | $0 |
| FUZZY_MAX | 0 | iidev->xmitlen | 34 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &iidev->wake_thread | |
| HALF_LOCKED2 | 0 | &iidev->got_rsp | |
| TYPE_LOCK | (struct ipmi_ipmb_dev)->wake_thread |
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> ipmi_ipmb_send_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iidev | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | iidev->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->next_msg | 0 |
| PARAM_VALUE | 0 | iidev->slave | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->stopping | 0 |
| PARAM_VALUE | 0 | iidev->wake_thread.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner | (-1) |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iidev->working_msg | 0 |
| PARAM_VALUE | 0 | iidev->xmitlen | 0-33,2147483648-u32max |
| PARAM_VALUE | 0 | iidev->xmitmsg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iidev->xmitmsg | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 2 | cc | 0,130 |
| BUF_SIZE | 0 | iidev | 128 |
| BUF_SIZE | 0 | iidev | 128 |
| DATA_SOURCE | 0 | iidev | $0 |
| FUZZY_MAX | 0 | iidev->xmitlen | 33 |
| FUZZY_MAX | 2 | cc | 130 |
| BIT_INFO | 2 | cc | 0x0,0x82 |
| HARD_MAX | 0 | iidev->xmitlen | u32max |
| HARD_MAX | 2 | cc | 130 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &iidev->wake_thread | |
| HALF_LOCKED2 | 0 | &iidev->got_rsp | |
| TYPE_LOCK | (struct ipmi_ipmb_dev)->wake_thread |
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> ipmi_ipmb_send_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iidev | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | iidev->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->next_msg | 0 |
| PARAM_VALUE | 0 | iidev->slave | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->stopping | 0 |
| PARAM_VALUE | 0 | iidev->wake_thread.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner | (-1) |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iidev->working_msg | 0 |
| PARAM_VALUE | 0 | iidev->xmitlen | 0-33,2147483648-u32max |
| PARAM_VALUE | 0 | iidev->xmitmsg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iidev->xmitmsg | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 2 | cc | 130 |
| BUF_SIZE | 0 | iidev | 128 |
| BUF_SIZE | 0 | iidev | 128 |
| DATA_SOURCE | 0 | iidev | $0 |
| FUZZY_MAX | 0 | iidev->xmitlen | 33 |
| HARD_MAX | 0 | iidev->xmitlen | u32max |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &iidev->wake_thread | |
| HALF_LOCKED2 | 0 | &iidev->got_rsp | |
| TYPE_LOCK | (struct ipmi_ipmb_dev)->wake_thread |
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> ipmi_ipmb_send_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iidev | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->client->adapter->algo->master_xfer | 1-u64max |
| PARAM_VALUE | 0 | iidev->client->adapter->bus_lock.rtmutex.owner | 0-1 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | iidev->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->up | 0 |
| PARAM_VALUE | 0 | iidev->got_rsp.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->got_rsp.lock.owner | (-1) |
| PARAM_VALUE | 0 | iidev->got_rsp.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iidev->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->next_msg | 0 |
| PARAM_VALUE | 0 | iidev->slave | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->stopping | 0 |
| PARAM_VALUE | 0 | iidev->wake_thread.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner | (-1) |
| PARAM_VALUE | 0 | iidev->wake_thread.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iidev->working_msg | 0 |
| PARAM_VALUE | 0 | iidev->xmitlen | 0-33,2147483648-u32max |
| PARAM_VALUE | 0 | iidev->xmitmsg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iidev->xmitmsg | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 2 | cc | 195 |
| BUF_SIZE | 0 | iidev | 128 |
| BUF_SIZE | 0 | iidev | 128 |
| CAPPED_DATA | 0 | iidev->client->adapter->retries | 1 |
| DATA_SOURCE | 0 | iidev | $0 |
| FUZZY_MAX | 0 | iidev->xmitlen | 33 |
| HARD_MAX | 0 | iidev->xmitlen | u32max |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &iidev->wake_thread | |
| HALF_LOCKED2 | 0 | &iidev->got_rsp | |
| TYPE_LOCK | (struct ipmi_ipmb_dev)->wake_thread |
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> ipmi_ipmb_send_response()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iidev | 4096-ptr_max |
| PARAM_VALUE | 0 | iidev->got_rsp.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | iidev->next_msg | 1-u64max |
| PARAM_VALUE | 0 | iidev->wake_thread.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | msg | 1-u64max |
| PARAM_VALUE | 2 | cc | 255 |
| BUF_SIZE | 0 | iidev | 128 |
| BUF_SIZE | 0 | iidev | 128 |
| DATA_SOURCE | 0 | iidev | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &iidev->wake_thread |