Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 2918096490706075648
PARAM_VALUE 0 fdet->exponent 0
PARAM_VALUE 0 fdet->fw 0,4096-ptr_max
PARAM_VALUE 0 fdet->modulus 0
PARAM_VALUE 0 fdet->mu 0
PARAM_VALUE 0 fdet->r2 0
NOCHECK_CALL
LOCK2 global &fw_mutex

drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 3682965073434841088
PARAM_VALUE 0 fdet->exponent 0
PARAM_VALUE 0 fdet->fw 0,4096-ptr_max
PARAM_VALUE 0 fdet->modulus 0
PARAM_VALUE 0 fdet->mu 0
PARAM_VALUE 0 fdet->r2 0
NOCHECK_CALL
LOCK2 global &fw_mutex

drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 7917243904752979968
PARAM_VALUE 0 fdet->exponent 0
PARAM_VALUE 0 fdet->fw 0,4096-ptr_max
PARAM_VALUE 0 fdet->modulus 0
PARAM_VALUE 0 fdet->mu 0
PARAM_VALUE 0 fdet->r2 0
NOCHECK_CALL
LOCK2 global &fw_mutex

drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 1068599666325159936
PARAM_VALUE 0 fdet->exponent 0
PARAM_VALUE 0 fdet->fw 0,4096-ptr_max
PARAM_VALUE 0 fdet->modulus 0
PARAM_VALUE 0 fdet->mu 0
PARAM_VALUE 0 fdet->r2 0
NOCHECK_CALL
LOCK2 global &fw_mutex

drivers/infiniband/hw/hfi1/firmware.c dispose_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 2918096490706075648
NOCHECK_CALL

drivers/infiniband/hw/hfi1/firmware.c dispose_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 3682965073434841088
NOCHECK_CALL

drivers/infiniband/hw/hfi1/firmware.c dispose_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 1068599666325159936
NOCHECK_CALL

drivers/infiniband/hw/hfi1/firmware.c dispose_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 7917243904752979968
NOCHECK_CALL

drivers/infiniband/hw/hfi1/firmware.c obtain_one_firmware() -> dispose_one_firmware()

Type Parameter Key Value
PARAM_VALUE 0 fdet 1068599666325159936,2918096490706075648,3682965073434841088,7917243904752979968
PARAM_VALUE 0 fdet->css_header 0,4096-ptr_max
PARAM_VALUE 0 fdet->css_header->exponent_size 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->header_len 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->header_version 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->key_size 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->module_type 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->module_vendor 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->css_header->modulus_size 0-1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->dummy_header.mu 0
PARAM_VALUE 0 fdet->dummy_header.r2 0
PARAM_VALUE 0 fdet->fw 4096-ptr_max
PARAM_VALUE 0 fdet->fw->data 4096-ptr_max
PARAM_VALUE 0 fdet->fw->data->header_len 1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->fw->data->header_version 1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->fw->data->key_size 1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->fw->data->module_type 1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->fw->data->module_vendor 1,6,64,161,32902,65536
PARAM_VALUE 0 fdet->fw->data->modulus_size 1,6,64,161,32902,65536
BUF_SIZE 0 fdet->css_header 0-s32max
BUF_SIZE 0 fdet->exponent 0,4
BUF_SIZE 0 fdet->modulus 0,256
BUF_SIZE 0 fdet->mu 0,8
BUF_SIZE 0 fdet->r2 0,256
BUF_SIZE 0 fdet->signature 0,256
CAPPED_DATA 0 fdet->fw->size 1
DATA_SOURCE 0 fdet $2
MEM_ZERO 0 fdet
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &fw_mutex