Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_ssif.c handle_flags() -> start_recv_msg_fetch()

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->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 0
PARAM_VALUE 0 ssif_info->curr_msg->rsp_size 0-272
PARAM_VALUE 0 ssif_info->msg_flags 1-255
PARAM_VALUE 0 ssif_info->ssif_state 1-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.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
DATA_SOURCE 1 flags $1
BIT_INFO 0 ssif_info->msg_flags 0x1,0xf7
HARD_MAX 0 ssif_info->ssif_state 4
PREEMPT_ADD
NOCHECK_CALL
LOCK2 0 &ssif_info->lock
LOCK2 1 *flags
TYPE_LOCK (struct ssif_info)->lock