Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hwmon/ibmaem.c aem_init_aem2() -> aem_find_aem2()

Type Parameter Key Value
PARAM_VALUE 0 data 1232165224349908992
PARAM_VALUE 0 data->address.addr_type 1,4,12,65,129
PARAM_VALUE 0 data->address.channel 0-15
PARAM_VALUE 0 data->read_complete.done 0-4294967293,u32max
PARAM_VALUE 0 data->read_complete.wait.lock.owner (-1)
PARAM_VALUE 0 data->read_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 data->read_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 data->rx_msg_data 248077929182498816,8533435394083635200
PARAM_VALUE 0 data->rx_msg_len 4,9
PARAM_VALUE 0 data->tx_message.cmd 128,130
PARAM_VALUE 0 data->tx_message.data 6010739787423485952,6993802292700307456
PARAM_VALUE 0 data->tx_message.data_len 6,8
PARAM_VALUE 0 data->tx_message.netfn 46
PARAM_VALUE 0 data->user 4096-ptr_max
PARAM_VALUE 1 fi_resp 248077929182498816
PARAM_VALUE 2 instance_num 0-s32max
DATA_SOURCE 0 data $0
FUZZY_MAX 2 instance_num 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_watchers_mutex

drivers/hwmon/ibmaem.c aem_init_aem2() -> aem_find_aem2()

Type Parameter Key Value
PARAM_VALUE 0 data 1232165224349908992
PARAM_VALUE 0 data->address.addr_type 1,4,12,65,129
PARAM_VALUE 0 data->address.channel 0-15
PARAM_VALUE 0 data->read_complete.done 0-4294967293,u32max
PARAM_VALUE 0 data->read_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 data->read_complete.wait.lock.owner (-1)
PARAM_VALUE 0 data->read_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 data->read_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 data->read_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 data->rx_msg_data 248077929182498816
PARAM_VALUE 0 data->rx_msg_len 9
PARAM_VALUE 0 data->rx_result 0
PARAM_VALUE 0 data->tx_message.cmd 130
PARAM_VALUE 0 data->tx_message.data 6993802292700307456
PARAM_VALUE 0 data->tx_message.data_len 6
PARAM_VALUE 0 data->tx_message.netfn 46
PARAM_VALUE 0 data->user 4096-ptr_max
PARAM_VALUE 1 fi_resp 248077929182498816
PARAM_VALUE 1 fi_resp->num_instances 1-255
PARAM_VALUE 2 instance_num 1-s32max
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_watchers_mutex