Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/siano/smscoreapi.c smscore_set_device_mode() -> smscore_init_device()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->board_id 0-21
PARAM_VALUE 0 coredev->common_buffer_size 90112,180224,204800,409600,450560,1024000
PARAM_VALUE 0 coredev->data_download_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->data_validity_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->detectmode_handler 0,8390411447388540928
PARAM_VALUE 0 coredev->device_flags 1
PARAM_VALUE 0 coredev->fw_version 2048-u16max
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
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 u32max
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)
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->resume_done.done 0-4294967293,u32max
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->version_ex_done.done 0-4294967293,u32max
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner (-1)
PARAM_VALUE 0 coredev->version_ex_done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 mode 0-11
DATA_SOURCE 0 coredev $0
DATA_SOURCE 1 mode $1
FUZZY_MAX 0 coredev->fw_version 2048
PARAM_COMPARE 0 coredev->mode < $1
PARAM_COMPARE 1 mode > $0->mode
HARD_MAX 0 coredev->gfp_buf_flags 1
RX_PATH
TASK_NOT_RUNNING