Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/atm/speedtch.c speedtch_atm_start() -> speedtch_start_synchro()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | instance | 344,368,1016 |
| BUF_SIZE | 0 | instance | 344,368,1016 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/usb/atm/speedtch.c speedtch_check_status() -> speedtch_start_synchro()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | instance | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->poll_delay | 5000-s32max |
| PARAM_VALUE | 0 | instance->scratch_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->usbatm | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->usbatm->usb_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->usbatm->usb_dev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | *instance->scratch_buffer | 0-255 |
| MEM_ZERO | 0 | instance->scratch_buffer | |
| HALF_LOCKED2 | &pool->lock |