Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/broadcom/brcm80211/brcmsmac/main.c brcms_c_attach_malloc() -> brcms_c_detach_mfree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wlc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wlc->pub | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wlc->pub->wlc | 4096-ptr_max |
| PARAM_VALUE | 0 | wlc->pub->wlc->pub | 4096-ptr_max |
| BUF_SIZE | 0 | wlc | 912 |
| BUF_SIZE | 0 | wlc->bsscfg | 144,u64max |
| BUF_SIZE | 0 | wlc->corestate | 64,u64max |
| BUF_SIZE | 0 | wlc->corestate->macstat_snapshot | 128,u64max |
| BUF_SIZE | 0 | wlc->default_bss | 92,u64max |
| BUF_SIZE | 0 | wlc->hw | 288,u64max |
| BUF_SIZE | 0 | wlc->hw->wlc | 912,u64max |
| BUF_SIZE | 0 | wlc->modulecb | 1056,u64max |
| BUF_SIZE | 0 | wlc->protection | 11,u64max |
| BUF_SIZE | 0 | wlc->pub | 112,u64max |
| BUF_SIZE | 0 | wlc->pub->wlc | 912,u64max |
| BUF_SIZE | 0 | wlc->stf | 22,u64max |
| DATA_SOURCE | 0 | wlc | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/wireless/broadcom/brcm80211/brcmsmac/main.c brcms_c_detach() -> brcms_c_detach_mfree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wlc | 4096-ptr_max |
| PARAM_VALUE | 0 | wlc->ampdu | 0 |
| PARAM_VALUE | 0 | wlc->asi | 0 |
| PARAM_VALUE | 0 | wlc->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | wlc->hw->sih | 0 |
| PARAM_VALUE | 0 | wlc->hw->sih->chip | 0-u16max |
| PARAM_VALUE | 0 | wlc->radio_monitor | 0 |
| PARAM_VALUE | 0 | wlc->radio_timer | 0 |
| PARAM_VALUE | 0 | wlc->wdtimer | 0 |
| PARAM_VALUE | 0 | *wlc->fragthresh | 0-u16max |
| PARAM_VALUE | 0 | *wlc->hw->di | 0 |
| BUF_SIZE | 0 | wlc | (-1),912 |
| BUF_SIZE | 0 | wlc | (-1),912 |
| CAPPED_DATA | 0 | wlc->cmi | 1 |
| CAPPED_DATA | 0 | wlc->hw->_nbands | 1 |
| CAPPED_DATA | 0 | wlc->hw->phy_sh | 1 |
| CAPPED_DATA | 0 | wlc->hw->physhim | 1 |
| DATA_SOURCE | 0 | wlc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | wlc->hw->machwcap | 0-u32max |
| HOST_DATA | 0 | wlc->hw->machwcap_backup | 0-u32max |