Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wan/wanxl.c wanxl_pci_init_one() -> wanxl_puts_command()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->pdev 4096-ptr_max
PARAM_VALUE 0 card->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 card->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 card->pdev->driver 4096-ptr_max
PARAM_VALUE 0 card->plx 4096-ptr_max
PARAM_VALUE 0 card->status 1-ptr_max
PARAM_VALUE 1 cmd 2348810241
BUF_SIZE 0 card 552-736,1104
BUF_SIZE 0 card 552-736,1104
BUF_SIZE 0 card->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 card->status 1072
DATA_SOURCE 0 card r _kzalloc_noprof
MEM_ZERO 0 card->status
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->pdev->current_state 0-3[c]

drivers/net/wan/wanxl.c wanxl_pci_init_one() -> wanxl_puts_command()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->pdev 4096-ptr_max
PARAM_VALUE 0 card->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 card->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 card->pdev->driver 4096-ptr_max
PARAM_VALUE 0 card->plx 4096-ptr_max
PARAM_VALUE 0 card->rx_skbs 4096-ptr_max
PARAM_VALUE 0 card->status 1-ptr_max
PARAM_VALUE 0 card->status->rx_descs 0
PARAM_VALUE 1 cmd 2231369728
BUF_SIZE 0 card 552-736,1104
BUF_SIZE 0 card 552-736,1104
BUF_SIZE 0 card->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 card->status 1072
DATA_SOURCE 0 card r _kzalloc_noprof
MEM_ZERO 0 card->status
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->pdev->current_state 0-3[c]