Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/usb/siano/smsusb.c smsusb_init_device() -> smscore_start_device()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->board_id 0-21
PARAM_VALUE 0 coredev->bufferslock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->common_buffer_size 90112,180224,204800,409600,450560,1024000
PARAM_VALUE 0 coredev->data_download_done.done 0
PARAM_VALUE 0 coredev->data_download_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->data_download_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->data_download_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->data_validity_done.done 0
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->detectmode_handler 0,8390411447388540928
PARAM_VALUE 0 coredev->device_flags 0-1
PARAM_VALUE 0 coredev->gfp_buf_flags 0
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 4294967295
PARAM_VALUE 0 coredev->gpio_get_level_done.done 0
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 4294967295
PARAM_VALUE 0 coredev->gpio_set_level_done.done 0
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 4294967295
PARAM_VALUE 0 coredev->init_device_done.done 0
PARAM_VALUE 0 coredev->init_device_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->init_device_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->init_device_done.wait.lock.owner_cpu 4294967295
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 4294967295
PARAM_VALUE 0 coredev->is_usb_device 1
PARAM_VALUE 0 coredev->media_dev s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 coredev->mode (-1)
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
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->resume_done.done 0
PARAM_VALUE 0 coredev->resume_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->resume_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->resume_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->sendrequest_handler 1359558655134855168,4371240315562827776
PARAM_VALUE 0 coredev->setmode_handler 0,1476248454998716416
PARAM_VALUE 0 coredev->trigger_done.done 0
PARAM_VALUE 0 coredev->trigger_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->trigger_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->trigger_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->version_ex_done.done 0
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner_cpu 4294967295
RX_PATH
TASK_NOT_RUNNING

drivers/media/mmc/siano/smssdio.c smssdio_probe() -> smscore_start_device()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->board_id 0-4,16-20
PARAM_VALUE 0 coredev->common_buffer_size 90112,180224,204800,409600,450560,1024000
PARAM_VALUE 0 coredev->data_download_done.done 0
PARAM_VALUE 0 coredev->data_download_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->data_download_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->data_download_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->data_validity_done.done 0
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->data_validity_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->detectmode_handler 0,8390411447388540928
PARAM_VALUE 0 coredev->device_flags 0-1
PARAM_VALUE 0 coredev->gfp_buf_flags 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 4294967295
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 4294967295
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 4294967295
PARAM_VALUE 0 coredev->init_device_done.done 0
PARAM_VALUE 0 coredev->init_device_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->init_device_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->init_device_done.wait.lock.owner_cpu 4294967295
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 4294967295
PARAM_VALUE 0 coredev->media_dev 0
PARAM_VALUE 0 coredev->mode (-1)
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
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->reload_start_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->resume_done.done 0
PARAM_VALUE 0 coredev->resume_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->resume_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->resume_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->sendrequest_handler 1359558655134855168,4371240315562827776
PARAM_VALUE 0 coredev->setmode_handler 0,1476248454998716416
PARAM_VALUE 0 coredev->trigger_done.done 0
PARAM_VALUE 0 coredev->trigger_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->trigger_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->trigger_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 coredev->version_ex_done.done 0
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.magic 3735899821
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner_cpu 4294967295
RX_PATH
TASK_NOT_RUNNING