Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath6kl/hif.c proc_pending_irqs() -> ath6kl_htc_rxmsg_pending_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | target | 4096-ptr_max |
| PARAM_VALUE | 0 | target->chk_irq_status_cnt | 0-1 |
| PARAM_VALUE | 0 | *target->ac_tx_count | 0-4294967295 |
| PARAM_VALUE | 1 | msg_look_ahead | 1-u32max |
| PARAM_VALUE | 2 | num_pkts | 3437025766979678208 |
| PARAM_VALUE | 2 | *num_pkts | 0 |
| FUZZY_MAX | 0 | target->chk_irq_status_cnt | 0 |
| HALF_LOCKED2 | &pool->lock |