Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> obtain_one_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 0,207660404286869504,3067649054296387584 |
| PARAM_VALUE | 2 | fdet | 7917243904752979968 |
| PARAM_VALUE | 2 | fdet->exponent | 0 |
| PARAM_VALUE | 2 | fdet->fw | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fdet->modulus | 0 |
| PARAM_VALUE | 2 | fdet->mu | 0 |
| PARAM_VALUE | 2 | fdet->r2 | 0 |
| BUF_SIZE | 1 | name | (-1),15 |
| BUF_SIZE | 1 | name | (-1),15 |
| DATA_SOURCE | 0 | dd | $0 |
| STR_LEN | 0 | dd | (-1),14 |
| STR_LEN | 1 | name | (-1),14 |
| LOCK2 | global &fw_mutex |
drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> obtain_one_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 0,50467802912952320,2536781128655646720 |
| PARAM_VALUE | 2 | fdet | 1068599666325159936 |
| PARAM_VALUE | 2 | fdet->exponent | 0 |
| PARAM_VALUE | 2 | fdet->fw | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fdet->modulus | 0 |
| PARAM_VALUE | 2 | fdet->mu | 0 |
| PARAM_VALUE | 2 | fdet->r2 | 0 |
| BUF_SIZE | 1 | name | (-1),15 |
| BUF_SIZE | 1 | name | (-1),15 |
| DATA_SOURCE | 0 | dd | $0 |
| STR_LEN | 0 | dd | (-1),14 |
| STR_LEN | 1 | name | (-1),14 |
| LOCK2 | global &fw_mutex |
drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> obtain_one_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 0,3621375085262254080,8253220531070857216 |
| PARAM_VALUE | 2 | fdet | 3682965073434841088 |
| PARAM_VALUE | 2 | fdet->exponent | 0 |
| PARAM_VALUE | 2 | fdet->fw | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fdet->modulus | 0 |
| PARAM_VALUE | 2 | fdet->mu | 0 |
| PARAM_VALUE | 2 | fdet->r2 | 0 |
| BUF_SIZE | 1 | name | (-1),17 |
| BUF_SIZE | 1 | name | (-1),17 |
| DATA_SOURCE | 0 | dd | $0 |
| STR_LEN | 0 | dd | (-1),16 |
| STR_LEN | 1 | name | (-1),16 |
| LOCK2 | global &fw_mutex |
drivers/infiniband/hw/hfi1/firmware.c __obtain_firmware() -> obtain_one_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 0,540122843251159040,7031215380201259008,9041247365789179904 |
| PARAM_VALUE | 2 | fdet | 2918096490706075648 |
| PARAM_VALUE | 2 | fdet->exponent | 0 |
| PARAM_VALUE | 2 | fdet->fw | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fdet->modulus | 0 |
| PARAM_VALUE | 2 | fdet->mu | 0 |
| PARAM_VALUE | 2 | fdet->r2 | 0 |
| BUF_SIZE | 1 | name | (-1),17 |
| BUF_SIZE | 1 | name | (-1),17 |
| DATA_SOURCE | 0 | dd | $0 |
| STR_LEN | 0 | dd | (-1),16 |
| STR_LEN | 1 | name | (-1),16 |
| LOCK2 | global &fw_mutex |