Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/hwmon/hp-wmi-sensors.c, line 504
- drivers/platform/wmi/core.c, line 259
- drivers/platform/x86/dell/dell-wmi-sysman/sysman.c, line 277
- drivers/platform/x86/hp/hp-bioscfg/bioscfg.c, line 395
Smatch caller information:
drivers/platform/x86/dell/dell-wmi-sysman/sysman.c get_instance_count() -> wmi_instance_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | guid_string | 1118187429535469568,1540138712549888000,5271400410719653888,6829961894778720256 |
| BUF_SIZE | 0 | guid_string | 37 |
| BUF_SIZE | 0 | guid_string | 37 |
| DATA_SOURCE | 0 | guid_string | $0 |
| STR_LEN | 0 | guid_string | 36 |
| STR_LEN | 0 | guid_string | 36 |
| TERMINATED | 0 | guid_string | 1 |
drivers/hwmon/hp-wmi-sensors.c hp_wmi_wobj_instance_count() -> wmi_instance_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | guid_string | 2025476165294915584,3022555977163702272 |
| BUF_SIZE | 0 | guid_string | 37 |
| BUF_SIZE | 0 | guid_string | 37 |
| DATA_SOURCE | 0 | guid_string | $0 |
| STR_LEN | 0 | guid_string | 36 |
| STR_LEN | 0 | guid_string | 36 |
| TERMINATED | 0 | guid_string | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/platform/x86/hp/hp-bioscfg/bioscfg.c hp_get_instance_count() -> wmi_instance_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | guid_string | 57547838880890880,3803268590074576896,5048101889985892352,7365065769291632640,8897029219514306560 |
| BUF_SIZE | 0 | guid_string | 37 |
| BUF_SIZE | 0 | guid_string | 37 |
| DATA_SOURCE | 0 | guid_string | $0 |
| STR_LEN | 0 | guid_string | 36 |
| STR_LEN | 0 | guid_string | 36 |
| TERMINATED | 0 | guid_string | 1 |