Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/wmi/core.c wmi_dev_probe() -> find_guid_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wblock | 4096-ptr_max |
| PARAM_VALUE | 1 | wdriver | 4096-ptr_max |
| PARAM_VALUE | 1 | wdriver->min_event_size | 0-2,4,8,32 |
| PARAM_VALUE | 1 | wdriver->notify | 0,1280681810447421440,1641156386572222464,2465788445160484864,3516296165970522112,4990844738120036352,5715061590788595712,8936039072590049280 |
| PARAM_VALUE | 1 | wdriver->notify_new | 0,1759582769528627200,3710548763443519488,4542191309561200640 |
| PARAM_VALUE | 1 | wdriver->probe | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |