Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnx2.c bnx2_request_uncached_firmware() -> check_fw_section()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->size 88-u64max
PARAM_VALUE 2 alignment 8
PARAM_VALUE 3 non_empty 1
FUZZY_MAX 0 fw->size 88
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/broadcom/bnx2.c bnx2_request_uncached_firmware() -> check_fw_section()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->data->proc1.rv2p.len 1-u32max
PARAM_VALUE 0 fw->data->proc1.rv2p.offset 1-u32max
PARAM_VALUE 0 fw->size 88-u64max
PARAM_VALUE 1 section 4096-ptr_max
PARAM_VALUE 2 alignment 8
PARAM_VALUE 3 non_empty 1
FUZZY_MAX 0 fw->size 88
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/broadcom/bnx2.c check_mips_fw_entry() -> check_fw_section()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->size 200-u64max
PARAM_VALUE 1 section 4096-ptr_max
PARAM_VALUE 2 alignment 4
PARAM_VALUE 3 non_empty 1
DATA_SOURCE 0 fw $0
FUZZY_MAX 0 fw->size 200
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/broadcom/bnx2.c check_mips_fw_entry() -> check_fw_section()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->size 200-u64max
PARAM_VALUE 1 section 4096-ptr_max
PARAM_VALUE 2 alignment 4
PARAM_VALUE 3 non_empty 0
DATA_SOURCE 0 fw $0
FUZZY_MAX 0 fw->size 200
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/broadcom/bnx2.c check_mips_fw_entry() -> check_fw_section()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 fw->size 200-u64max
PARAM_VALUE 1 section 4096-ptr_max
PARAM_VALUE 2 alignment 4
PARAM_VALUE 3 non_empty 0
DATA_SOURCE 0 fw $0
FUZZY_MAX 0 fw->size 200
RX_PATH
TASK_NOT_RUNNING