Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_request_irq() -> bnxt_register_irq_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->bnapi | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->cp_nr_rings | 1-s32max |
| PARAM_VALUE | 0 | bp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | bp->dev->num_tc | 0 |
| PARAM_VALUE | 0 | bp->dev->num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | bp->dev->real_num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | bp->dev->real_num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | bp->dev->rx_cpu_rmap | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->threaded | 0 |
| PARAM_VALUE | 0 | bp->irq_tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->rx_nr_rings | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | bp->total_irqs | 0-s32max |
| PARAM_VALUE | 0 | *bp->dev->name | 0-255 |
| PARAM_VALUE | 0 | *bp->dev->prio_tc_map | 0 |
| PARAM_VALUE | 1 | irq | 4096-ptr_max |
| PARAM_VALUE | 1 | irq->cpu_mask | 1-u64max |
| PARAM_VALUE | 1 | irq->cpu_mask->bits | 4096-ptr_max |
| PARAM_VALUE | 1 | irq->have_cpumask | 1 |
| PARAM_VALUE | 1 | irq->msix_nr | 0-u16max |
| PARAM_VALUE | 1 | irq->requested | 1 |
| PARAM_VALUE | 1 | irq->ring_nr | 0-s32max |
| PARAM_VALUE | 1 | irq->vector | 0 |
| CAPPED_DATA | 0 | bp->num_tc | 1 |
| CAPPED_DATA | 1 | irq->msix_nr | 1 |
| CAPPED_DATA | 1 | irq->ring_nr | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| CONSTRAINT | 0 | bp->rx_nr_rings | <=3120 |
| NOCHECK_CALL |