Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/switch/switchtec.c switchtec_dev_ioctl() -> ioctl_flash_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stdev->alive | 1 |
| PARAM_VALUE | 0 | stdev->mrpc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | stdev->mrpc_mutex.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | stdev->mrpc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | stdev->mrpc_mutex.osq.tail.counter | 0-s32max |
| DATA_SOURCE | 1 | uinfo | $2 |
| LOCK2 | 0 | &stdev->mrpc_mutex | |
| TYPE_LOCK | (struct switchtec_dev)->mrpc_mutex |