Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_ssif.c start_event_fetch() -> check_start_send()
| 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->dev.driver_data->mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| 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->req_events | 0 |
| PARAM_VALUE | 0 | ssif_info->ssif_state | 2 |
| 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 |
| PARAM_VALUE | 2 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 2 | msg->data_size | 2 |
| PARAM_VALUE | 2 | msg->done | 2720790875626950656 |
| PARAM_VALUE | 2 | msg->recv_msg | 0 |
| PARAM_VALUE | 2 | msg->type | 0 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info->curr_msg | 600 |
| BUF_SIZE | 2 | msg | 600 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| DATA_SOURCE | 1 | flags | $1 |
| DATA_SOURCE | 2 | msg | r ipmi_alloc_smi_msg |
| NOCHECK_CALL |
drivers/char/ipmi/ipmi_ssif.c start_recv_msg_fetch() -> check_start_send()
| 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->dev.driver_data->mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| 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->msg_flags | 1-255 |
| PARAM_VALUE | 0 | ssif_info->ssif_state | 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.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 |
| PARAM_VALUE | 2 | msg | 4096-ptr_max |
| PARAM_VALUE | 2 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 2 | msg->data_size | 2 |
| PARAM_VALUE | 2 | msg->done | 2720790875626950656 |
| PARAM_VALUE | 2 | msg->recv_msg | 0 |
| PARAM_VALUE | 2 | msg->type | 0 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info | 128 |
| BUF_SIZE | 0 | ssif_info->curr_msg | 600 |
| BUF_SIZE | 2 | msg | 600 |
| DATA_SOURCE | 0 | ssif_info | $0 |
| DATA_SOURCE | 1 | flags | $1 |
| DATA_SOURCE | 2 | msg | r ipmi_alloc_smi_msg |
| BIT_INFO | 0 | ssif_info->msg_flags | 0x1,0xffffffffffffffff |
| NOCHECK_CALL |