Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/nosy.c nosy_open() -> lynx_put()

Type Parameter Key Value
PARAM_VALUE 0 lynx 4096-ptr_max
PARAM_VALUE 0 lynx->misc.minor 0-1048575
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firewire/nosy.c nosy_release() -> lynx_put()

Type Parameter Key Value
PARAM_VALUE 0 lynx 4096-ptr_max
PARAM_VALUE 0 lynx->client_list_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firewire/nosy.c remove_card() -> lynx_put()

Type Parameter Key Value
PARAM_VALUE 0 lynx 4096-ptr_max
PARAM_VALUE 0 lynx->client_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lynx->link.next->prev 4096-ptr_max
PARAM_VALUE 0 lynx->link.prev->next 4096-ptr_max
PARAM_VALUE 0 lynx->misc.list.next->prev 4096-ptr_max
PARAM_VALUE 0 lynx->misc.list.prev->next 4096-ptr_max
PARAM_VALUE 0 lynx->misc.minor s32min-255
PARAM_VALUE 0 lynx->pci_device 4096-ptr_max
PARAM_VALUE 0 lynx->pci_device->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lynx->pci_device->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 lynx->pci_device->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lynx->rcv_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 lynx->rcv_buffer->memcg_data 0
PARAM_VALUE 0 lynx->rcv_buffer->page_type 0-4294967295
BUF_SIZE 0 lynx s32min-(-2),1-s32max
BUF_SIZE 0 lynx s32min-(-2),1-s32max
CAPPED_DATA 0 lynx 1
CAPPED_DATA 0 lynx->rcv_buffer 1
CAPPED_DATA 0 lynx->rcv_pcl 1
CAPPED_DATA 0 lynx->rcv_start_pcl 1
CAPPED_DATA 0 &lynx->client_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 lynx unit_byte