Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c pci_probe() -> ar_context_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 ohci 4096-ptr_max
PARAM_VALUE 1 ohci->card.broadcast_channel 2147483679
PARAM_VALUE 1 ohci->card.color 0
PARAM_VALUE 1 ohci->card.device 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.done 0
PARAM_VALUE 1 ohci->card.done.wait.lock.magic 3735899821
PARAM_VALUE 1 ohci->card.done.wait.lock.owner (-1)
PARAM_VALUE 1 ohci->card.done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 ohci->card.done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.driver 1038026465964470272
PARAM_VALUE 1 ohci->card.driver->allocate_iso_context 1218876322694201344
PARAM_VALUE 1 ohci->card.driver->cancel_packet 9109916664540516352
PARAM_VALUE 1 ohci->card.driver->disable 654534902965772288
PARAM_VALUE 1 ohci->card.driver->enable 5574276514999672832
PARAM_VALUE 1 ohci->card.driver->enable_phys_dma 1479235668346372096
PARAM_VALUE 1 ohci->card.driver->flush_iso_completions 5255641380704800768
PARAM_VALUE 1 ohci->card.driver->flush_queue_iso 6326369000938278912
PARAM_VALUE 1 ohci->card.driver->free_iso_context 1803801919160545280
PARAM_VALUE 1 ohci->card.driver->queue_iso 7782675087717564416
PARAM_VALUE 1 ohci->card.driver->read_csr 7563038000009789440
PARAM_VALUE 1 ohci->card.driver->read_phy_reg 8432106128755154944
PARAM_VALUE 1 ohci->card.driver->send_request 6908896396332068864
PARAM_VALUE 1 ohci->card.driver->send_response 71593790458916864
PARAM_VALUE 1 ohci->card.driver->set_config_rom 1116633567326633984
PARAM_VALUE 1 ohci->card.driver->set_iso_channels 3939418246221062144
PARAM_VALUE 1 ohci->card.driver->start_iso 5880841999379001344
PARAM_VALUE 1 ohci->card.driver->stop_iso 1488337541166690304
PARAM_VALUE 1 ohci->card.driver->update_phy_reg 6958438789388734464
PARAM_VALUE 1 ohci->card.driver->write_csr 2192762975258144768
PARAM_VALUE 1 ohci->card.kref.refcount.refs.counter 1
PARAM_VALUE 1 ohci->card.local_node 0
PARAM_VALUE 1 ohci->card.split_timeout.cycles 16000
PARAM_VALUE 1 ohci->card.split_timeout.hi 2
PARAM_VALUE 1 ohci->card.split_timeout.jiffies 0-1073740,4294967294
PARAM_VALUE 1 ohci->card.split_timeout.lo 0
PARAM_VALUE 1 ohci->card.transactions.current_tlabel 0
PARAM_VALUE 1 ohci->card.transactions.list.next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.next->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.tlabel_mask 0
PARAM_VALUE 1 ohci->misc_buffer 1-ptr_max
PARAM_VALUE 1 ohci->phy_reg_mutex.dep_map->name 0-255
PARAM_VALUE 1 ohci->phy_reg_mutex.first_waiter 0
PARAM_VALUE 1 ohci->phy_reg_mutex.magic 4096-ptr_max
PARAM_VALUE 1 ohci->phy_reg_mutex.osq.tail.counter 0
PARAM_VALUE 1 ohci->phy_reg_mutex.owner.counter 0
PARAM_VALUE 1 ohci->registers 4096-ptr_max
PARAM_VALUE 2 descriptors_offset 0
PARAM_VALUE 3 regs 448
BUF_SIZE 1 ohci->misc_buffer s32min-s32max
DATA_SOURCE 1 ohci r __devres_alloc_node
TERMINATED 1 ohci->node.name 1
RX_PATH
TASK_NOT_RUNNING

drivers/firewire/ohci.c pci_probe() -> ar_context_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 ohci 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.buffer 1-18446744073709551614
PARAM_VALUE 1 ohci->ar_request_ctx.descriptors 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.broadcast_channel 2147483679
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.color 0
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.device 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.done.wait.lock.magic 3735899821
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.done.wait.lock.owner (-1)
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.driver 1038026465964470272
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.kref.refcount.refs.counter 1
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.split_timeout.cycles 16000
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.split_timeout.hi 2
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.split_timeout.jiffies 0-1073740,4294967294
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.transactions.list.next 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->card.transactions.list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->misc_buffer 1-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->phy_reg_mutex.magic 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.ohci->registers 4096-ptr_max
PARAM_VALUE 1 ohci->ar_request_ctx.regs 448
PARAM_VALUE 1 ohci->card.broadcast_channel 2147483679
PARAM_VALUE 1 ohci->card.color 0
PARAM_VALUE 1 ohci->card.device 4096-ptr_max
PARAM_VALUE 1 ohci->card.device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 ohci->card.done.done 0
PARAM_VALUE 1 ohci->card.done.wait.lock.magic 3735899821
PARAM_VALUE 1 ohci->card.done.wait.lock.owner (-1)
PARAM_VALUE 1 ohci->card.done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 ohci->card.done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.driver 1038026465964470272
PARAM_VALUE 1 ohci->card.driver->allocate_iso_context 1218876322694201344
PARAM_VALUE 1 ohci->card.driver->cancel_packet 9109916664540516352
PARAM_VALUE 1 ohci->card.driver->disable 654534902965772288
PARAM_VALUE 1 ohci->card.driver->enable 5574276514999672832
PARAM_VALUE 1 ohci->card.driver->enable_phys_dma 1479235668346372096
PARAM_VALUE 1 ohci->card.driver->flush_iso_completions 5255641380704800768
PARAM_VALUE 1 ohci->card.driver->flush_queue_iso 6326369000938278912
PARAM_VALUE 1 ohci->card.driver->free_iso_context 1803801919160545280
PARAM_VALUE 1 ohci->card.driver->queue_iso 7782675087717564416
PARAM_VALUE 1 ohci->card.driver->read_csr 7563038000009789440
PARAM_VALUE 1 ohci->card.driver->read_phy_reg 8432106128755154944
PARAM_VALUE 1 ohci->card.driver->send_request 6908896396332068864
PARAM_VALUE 1 ohci->card.driver->send_response 71593790458916864
PARAM_VALUE 1 ohci->card.driver->set_config_rom 1116633567326633984
PARAM_VALUE 1 ohci->card.driver->set_iso_channels 3939418246221062144
PARAM_VALUE 1 ohci->card.driver->start_iso 5880841999379001344
PARAM_VALUE 1 ohci->card.driver->stop_iso 1488337541166690304
PARAM_VALUE 1 ohci->card.driver->update_phy_reg 6958438789388734464
PARAM_VALUE 1 ohci->card.driver->write_csr 2192762975258144768
PARAM_VALUE 1 ohci->card.kref.refcount.refs.counter 1
PARAM_VALUE 1 ohci->card.local_node 0
PARAM_VALUE 1 ohci->card.split_timeout.cycles 16000
PARAM_VALUE 1 ohci->card.split_timeout.hi 2
PARAM_VALUE 1 ohci->card.split_timeout.jiffies 0-1073740,4294967294
PARAM_VALUE 1 ohci->card.split_timeout.lo 0
PARAM_VALUE 1 ohci->card.transactions.current_tlabel 0
PARAM_VALUE 1 ohci->card.transactions.list.next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.next->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ohci->card.transactions.tlabel_mask 0
PARAM_VALUE 1 ohci->misc_buffer 1-ptr_max
PARAM_VALUE 1 ohci->phy_reg_mutex.dep_map->name 0-255
PARAM_VALUE 1 ohci->phy_reg_mutex.first_waiter 0
PARAM_VALUE 1 ohci->phy_reg_mutex.magic 4096-ptr_max
PARAM_VALUE 1 ohci->phy_reg_mutex.osq.tail.counter 0
PARAM_VALUE 1 ohci->phy_reg_mutex.owner.counter 0
PARAM_VALUE 1 ohci->registers 4096-ptr_max
PARAM_VALUE 2 descriptors_offset 1024
PARAM_VALUE 3 regs 480
DATA_SOURCE 1 ohci r __devres_alloc_node
TERMINATED 1 ohci->node.name 1
RX_PATH
TASK_NOT_RUNNING