Defined in 1 files as a prototype:
Referenced in 2 files:
- drivers/platform/x86/lenovo/wmi-capdata.c, line 476
- drivers/platform/x86/lenovo/wmi-other.c, line 580
Smatch caller information:
drivers/platform/x86/lenovo/wmi-other.c lwmi_om_fan_info_collect_cd_fan() -> lwmi_cd_fan_get_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 1-ptr_max |
| PARAM_VALUE | 0 | list->count | 0-255 |
| PARAM_VALUE | 0 | list->type | s32min-s32max |
| PARAM_VALUE | 1 | attribute_id | 1-4 |
| PARAM_VALUE | 2 | output | 8007668283598376960 |
| DATA_SOURCE | 0 | list | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &component_mutex |