Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/bfa/bfad.c bfad_load_fwimg() -> bfad_read_firmware()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->device 34-35
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->subordinate->self->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 bfi_image 5419274857407582208
PARAM_VALUE 2 bfi_image_size 1623177678769389568
PARAM_VALUE 2 *bfi_image_size 0
PARAM_VALUE 3 fw_name 2722107794537193472
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 3 fw_name 18
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
FUZZY_MAX 0 pdev->device 35
STR_LEN 0 pdev 17
BIT_INFO 0 pdev->device 0x22,0x23
TERMINATED 3 fw_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
HALF_LOCKED2 0 &pdev->dev.mutex

drivers/scsi/bfa/bfad.c bfad_load_fwimg() -> bfad_read_firmware()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->device 20,33
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->subordinate->self->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 bfi_image 4255256270461095936
PARAM_VALUE 2 bfi_image_size 8754414197913026560
PARAM_VALUE 2 *bfi_image_size 0
PARAM_VALUE 3 fw_name 5652985391866314752
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 3 fw_name 17
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
FUZZY_MAX 0 pdev->device 33
STR_LEN 0 pdev 16
BIT_INFO 0 pdev->device 0x0,0x35
TERMINATED 3 fw_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
HALF_LOCKED2 0 &pdev->dev.mutex

drivers/scsi/bfa/bfad.c bfad_load_fwimg() -> bfad_read_firmware()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->device 19,23
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->driver->err_handler 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 pdev->subordinate->self->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 *pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 bfi_image 6144340567681781760
PARAM_VALUE 2 bfi_image_size 6597917252272754688
PARAM_VALUE 2 *bfi_image_size 0
PARAM_VALUE 3 fw_name 983525772350586880
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 3 fw_name 17
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
FUZZY_MAX 0 pdev->device 23
STR_LEN 0 pdev 16
BIT_INFO 0 pdev->device 0x13,0x17
TERMINATED 3 fw_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pdev->current_state 0-3[c]
HALF_LOCKED2 0 &pdev->dev.mutex