Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/siano/smscoreapi.c smscore_start_device() -> smscore_init_ir()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->board_id 0-21
PARAM_VALUE 0 coredev->clients.next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next->prev 4096-ptr_max
PARAM_VALUE 0 coredev->clientslock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->common_buffer_size 90112,180224,204800,409600,450560,1024000
PARAM_VALUE 0 coredev->context->func->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->context->func->card->host->private->pcr->pcr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 coredev->context->func->card->host->private->ucr->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 coredev->data_download_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->data_download_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->data_download_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->data_download_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_download_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_download_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_download_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->data_validity_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->data_validity_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->data_validity_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_validity_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_validity_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->data_validity_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->detectmode_handler 0,8390411447388540928
PARAM_VALUE 0 coredev->device->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 coredev->device->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->device->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->device_flags 1
PARAM_VALUE 0 coredev->gfp_buf_flags 0-1
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 coredev->init_device_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->init_device_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->init_device_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->init_device_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->init_device_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->init_device_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->init_device_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->ir.controller 0
PARAM_VALUE 0 coredev->ir.timeout 125000000
PARAM_VALUE 0 coredev->ir_init_done.done 0
PARAM_VALUE 0 coredev->ir_init_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->ir_init_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->ir_init_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 coredev->media_dev 0,4096-ptr_max
PARAM_VALUE 0 coredev->mode (-1)-11
PARAM_VALUE 0 coredev->num_buffers 22-s32max
PARAM_VALUE 0 coredev->postload_handler 0
PARAM_VALUE 0 coredev->preload_handler 0
PARAM_VALUE 0 coredev->reload_start_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->reload_start_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->reload_start_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->reload_start_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->reload_start_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->reload_start_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->resume_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->resume_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->sendrequest_handler 1359558655134855168,4371240315562827776
PARAM_VALUE 0 coredev->setmode_handler 0,1476248454998716416
PARAM_VALUE 0 coredev->trigger_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->trigger_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->trigger_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->trigger_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->trigger_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->trigger_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->trigger_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->version_ex_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 coredev->version_ex_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->version_ex_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->version_ex_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->version_ex_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 coredev->version_ex_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *coredev->context->udev->product 0-255
DATA_SOURCE 0 coredev $0
HARD_MAX 0 coredev->gfp_buf_flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &g_smscore_deviceslock