Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/atm/solos-pci.c fpga_probe() -> atm_init()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->atmel_flash 0-1
PARAM_VALUE 0 card->buffer_size 2048,4096
PARAM_VALUE 0 card->buffers 65536-131071
PARAM_VALUE 0 card->config_regs 65536-131071
PARAM_VALUE 0 card->dev 4096-ptr_max
PARAM_VALUE 0 card->dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 card->dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 card->dev->driver 4096-ptr_max
PARAM_VALUE 0 card->fpga_version 0-u16max
PARAM_VALUE 0 card->fw_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 card->fw_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 card->fw_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->nr_ports 0-255
PARAM_VALUE 0 card->param_queue.next 4096-ptr_max
PARAM_VALUE 0 card->param_queue.next->next 4096-ptr_max
PARAM_VALUE 0 card->param_queue.prev 4096-ptr_max
PARAM_VALUE 0 card->param_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 card->param_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->param_wq.head.next 4096-ptr_max
PARAM_VALUE 0 card->param_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 card->param_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 card->param_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 card->param_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->tlet.callback 1532914486668771328
PARAM_VALUE 0 card->tlet.count.counter 0
PARAM_VALUE 0 card->tlet.data 4096-18446744073709547520
PARAM_VALUE 0 card->tlet.func 1532914486668771328
PARAM_VALUE 0 card->tlet.next 0
PARAM_VALUE 0 card->tlet.state 0
PARAM_VALUE 0 card->tlet.use_callback 0
PARAM_VALUE 0 card->using_dma 0-1
PARAM_VALUE 1 parent 4096-ptr_max
PARAM_VALUE 1 parent->bus 0,4096-ptr_max
PARAM_VALUE 1 parent->class 0,4096-ptr_max
PARAM_VALUE 1 parent->dma_mask 4096-ptr_max
PARAM_VALUE 1 parent->driver 0,4096-ptr_max
PARAM_VALUE 1 parent->driver_data 4096-ptr_max
BUF_SIZE 0 card 1448
BUF_SIZE 0 card->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 card->dma_bounce 2048,u64max
DATA_SOURCE 0 card r _kzalloc_noprof
FUZZY_MAX 0 card->atmel_flash 1
FUZZY_MAX 0 card->buffer_size 4096
FUZZY_MAX 0 card->fpga_version 3
FUZZY_MAX 0 card->using_dma 1
BIT_INFO 0 card->buffer_size 0x0,0x1800
HARD_MAX 0 card->atmel_flash 1
HARD_MAX 0 card->buffer_size 4096
HARD_MAX 0 card->using_dma 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->dev->current_state 0-3[c]
HOST_DATA 0 card->fpga_version 0-u16max[c]
HOST_DATA 0 card->nr_ports 0-255
NO_OVERFLOW_SIMPLE 0 card->nr_ports