Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_ssif.c check_start_send() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->curr_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->curr_msg->done | 2720790875626950656 |
| PARAM_VALUE | 0 | ssif_info->curr_msg->recv_msg | 0 |
| PARAM_VALUE | 0 | ssif_info->curr_msg->type | 0 |
| PARAM_VALUE | 0 | ssif_info->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->ssif_state | 2,4 |
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.done | 0 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 5766539390268182528 |
| BUF_SIZE | 0 | ssif_info | (-1),128 |
| BUF_SIZE | 0 | ssif_info | (-1),128 |
| BUF_SIZE | 0 | ssif_info->curr_msg | 600 |
| CAPPED_DATA | 0 | ssif_info->max_xmit_msg_size | 1 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| HARD_MAX | 0 | ssif_info->ssif_state | 4 |
drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->retries_left | 1-s32max |
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.done | 0 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 8972987738940444672 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| FUZZY_MAX | 0 | ssif_info->retries_left | 1 |
drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.done | 0 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 8972987738940444672 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| DATA_SOURCE | 0 | ssif_info | $0 |
drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->curr_msg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->curr_msg->rsp_size | 0-272 |
| PARAM_VALUE | 0 | ssif_info->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->ssif_state | 0,2-u32max |
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 8972987738940444672 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| FUZZY_MAX | 0 | ssif_info->ssif_state | 0 |
| HALF_LOCKED2 | *flags |
drivers/char/ipmi/ipmi_ssif.c msg_written_handler() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ssif_info->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->multi_data | 0 |
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.done | 0 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->wake_thread.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 6728984706406400000 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| DATA_SOURCE | 0 | ssif_info | $0 |
drivers/char/ipmi/ipmi_ssif.c request_events() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->has_event_buffer | 1 |
| PARAM_VALUE | 1 | flags | 2339104542408376320 |
| BUF_SIZE | 0 | ssif_info | 984,1000 |
| BUF_SIZE | 0 | ssif_info | 984,1000 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| LOCK2 | global &ipmi_interfaces_mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/char/ipmi/ipmi_ssif.c retry_timeout() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->stopping | 0 |
| PARAM_VALUE | 1 | flags | 8699851982940872704 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/char/ipmi/ipmi_ssif.c sender() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->waiting_msg | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1783912627417341952 |
| BUF_SIZE | 0 | ssif_info | (-1),984,1000 |
| BUF_SIZE | 0 | ssif_info | (-1),984,1000 |
| BUF_SIZE | 0 | ssif_info->waiting_msg | (-1),600 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ssif_info->waiting_msg->data_size | 2-283[c] |
| USER_DATA | 0 | ssif_info->waiting_msg->msgid | s64min-s64max |
drivers/char/ipmi/ipmi_ssif.c ssif_alert() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info->stats | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 3135804419966590976 |
| BUF_SIZE | 0 | ssif_info | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ssif_info | s32min-(-2),1-s32max |
| UNITS | 0 | ssif_info | unit_byte |
| LOCK2 | &dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/char/ipmi/ipmi_ssif.c ssif_set_need_watch() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags | 4500854904771366912 |
| BUF_SIZE | 0 | ssif_info | (-1),984,1000 |
| BUF_SIZE | 0 | ssif_info | (-1),984,1000 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &intf->watch_lock | ||
| LOCK2 | iflags | ||
| HALF_LOCKED2 | &intf->seq_lock | ||
| HALF_LOCKED2 | global &ipmi_interfaces_mutex | ||
| TYPE_LOCK | (struct ipmi_smi)->watch_lock |
drivers/char/ipmi/ipmi_ssif.c start_next_msg() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->curr_msg | 0 |
| PARAM_VALUE | 0 | ssif_info->intf->curr_msg | 0 |
| PARAM_VALUE | 0 | ssif_info->intf->waiting_rcv_msgs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->intf->xmit_msgs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ssif_info->ssif_state | 0 |
| PARAM_VALUE | 0 | ssif_info->waiting_msg | 0 |
| PARAM_VALUE | 1 | flags | 7447182897964863488 |
| BUF_SIZE | 0 | ssif_info | (-1),128,984,1000 |
| BUF_SIZE | 0 | ssif_info | (-1),128,984,1000 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ssif_info->curr_msg->msgid | s64min-s64max |
| USER_DATA | 0 | ssif_info->waiting_msg->msgid | s64min-s64max |
drivers/char/ipmi/ipmi_ssif.c watch_timeout() -> ipmi_ssif_lock_cond()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ssif_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ssif_info->stopping | 0 |
| PARAM_VALUE | 1 | flags | 5675599217172824064 |
| RX_PATH | |||
| TASK_NOT_RUNNING |