Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/wmi/core.c wmi_notify_device() -> wmi_get_notify_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wblock | 4096-ptr_max |
| PARAM_VALUE | 1 | obj | 6636174567838670848 |
| PARAM_VALUE | 1 | *obj | 0 |
| CAPPED_DATA | 0 | wblock->gblock.notify_id | 1 |
| BIT_INFO | 0 | wblock->gblock.flags | 0x8,0xff |