Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/hyperv/netvsc.c netvsc_send_pkt() -> netvsc_build_mpb_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pb | 0-5118502674051284993 |
| PARAM_VALUE | 1 | page_buffer_count | 1-255 |
| PARAM_VALUE | 2 | desc | 8583177965379424256 |
| PARAM_VALUE | 3 | desc_size | 3878477816627634176 |
| BUF_SIZE | 0 | pb | (-1),304 |
| BUF_SIZE | 0 | pb | (-1),304 |
| BUF_SIZE | 2 | desc | 536 |
| DATA_SOURCE | 0 | pb | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |