Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/pci/controller/pci-hyperv.c hv_pci_onchannelcallback() -> vmbus_recvpacket_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | buffer | 4096-ptr_max |
| PARAM_VALUE | 2 | bufferlen | 7-524280 |
| PARAM_VALUE | 3 | buffer_actual_len | 5144822856776601600 |
| PARAM_VALUE | 4 | requestid | 1544283800827740160 |
| BUF_SIZE | 1 | buffer | 7-524280,4294443016-u32max |
| CAPPED_DATA | 2 | bufferlen | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |