Defined in 1 files as a function:
Referenced in 3 files:
- drivers/platform/x86/intel/pmt/discovery-kunit.c, line 68
- drivers/platform/x86/intel/pmt/discovery.c, line 362
- drivers/platform/x86/intel/pmt/telemetry.c, line 260
Smatch caller information:
drivers/platform/x86/intel/pmt/telemetry.c intel_pmt_get_regions_by_feature() -> pmt_feature_id_is_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | id | 0-8,10-11 |
| DATA_SOURCE | 0 | id | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &once_mutex |
drivers/platform/x86/intel/pmt/discovery-kunit.c test_intel_pmt_get_regions_by_feature() -> pmt_feature_id_is_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | id | 1-11 |
drivers/platform/x86/intel/pmt/discovery.c pmt_feature_get_disc_table() -> pmt_feature_id_is_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | id | 0-u32max |