Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/media/usb/siano/smsusb.c smsusb_stop_streaming() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 1 cb 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/siano/smscoreapi.c smscore_onresponse() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->clientslock.rlock.dep_map->name 0-255
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->offset s32min-2
PARAM_VALUE 1 cb->p 4096-ptr_max
PARAM_VALUE 1 cb->size 0-u16max
CAPPED_DATA 1 cb->size 1
DATA_SOURCE 0 coredev $0
DATA_SOURCE 1 cb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/common/siano/smscoreapi.c smscore_register_device() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.head.next 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->buffer_mng_waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->buffers.next 4096-ptr_max
PARAM_VALUE 0 coredev->buffers.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->buffers.prev 4096-ptr_max
PARAM_VALUE 0 coredev->buffers.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->buffers.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.prev 4096-ptr_max
PARAM_VALUE 0 coredev->clients.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->common_buffer 1-ptr_max
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 u32max
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 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->prev 4096-ptr_max
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 u32max
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 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->prev 4096-ptr_max
PARAM_VALUE 0 coredev->entry.next 4096-ptr_max
PARAM_VALUE 0 coredev->entry.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->entry.prev 4096-ptr_max
PARAM_VALUE 0 coredev->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->gfp_buf_flags 0-1
PARAM_VALUE 0 coredev->gpio_configuration_done.done 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 u32max
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_configuration_done.wait.task_list.prev->prev 4096-ptr_max
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 u32max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_get_level_done.wait.task_list.prev->prev 4096-ptr_max
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 u32max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->gpio_set_level_done.wait.task_list.prev->prev 4096-ptr_max
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->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 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->prev 4096-ptr_max
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->ir_init_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->ir_init_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->ir_init_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 coredev->ir_init_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->ir_init_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 coredev->media_dev 0,4096-ptr_max
PARAM_VALUE 0 coredev->num_buffers s32min-49
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 u32max
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 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->prev 4096-ptr_max
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 u32max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 coredev->resume_done.wait.task_list.prev->prev 4096-ptr_max
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 u32max
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 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->prev 4096-ptr_max
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 u32max
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 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->prev 4096-ptr_max
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->p 1-u64max
BUF_SIZE 0 coredev 1736
BUF_SIZE 0 coredev->common_buffer 90112,180224,204800,409600,450560,1024000
BUF_SIZE 0 coredev->media_dev (-1),992
BUF_SIZE 1 cb 48
BUF_SIZE 1 cb->p 90112,180224,204800,409600,450560,1024000,u64max
CAPPED_DATA 0 coredev->common_buffer_size 1
CAPPED_DATA 0 coredev->num_buffers 1
DATA_SOURCE 0 coredev r _kzalloc_noprof
DATA_SOURCE 1 cb r smscore_createbuffer
FUZZY_MAX 0 coredev->num_buffers 49
HARD_MAX 0 coredev->gfp_buf_flags 1
HARD_MAX 0 coredev->num_buffers 49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/mmc/siano/smssdio.c smssdio_interrupt() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->p 4096-ptr_max
NOCHECK_CALL

drivers/media/mmc/siano/smssdio.c smssdio_interrupt() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->p 4096-ptr_max
NOCHECK_CALL

drivers/media/mmc/siano/smssdio.c smssdio_remove() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 1 cb 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/common/siano/smsdvb-main.c smsdvb_onresponse() -> smscore_putbuffer()

Type Parameter Key Value
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->offset s32min-2
PARAM_VALUE 1 cb->p 4096-ptr_max
PARAM_VALUE 1 cb->size 0-u16max
CAPPED_DATA 1 cb->size 1
DATA_SOURCE 1 cb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock