Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpica/exfield.c acpi_ex_read_data_from_field() -> acpi_ex_read_serial_bus()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj_desc | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_desc->common.type | 17 |
| PARAM_VALUE | 0 | obj_desc->field.region_obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj_desc->field.region_obj->region.space_id | 4,7,9,11,127 |
| PARAM_VALUE | 1 | return_buffer | 1584128540051423232,2690401404481208320,6167949173107781632 |
| DATA_SOURCE | 0 | obj_desc | $1 |
| DATA_SOURCE | 1 | return_buffer | $2 |
| FUZZY_MAX | 0 | obj_desc->field.region_obj->region.space_id | 127 |
| RX_PATH | |||
| TASK_NOT_RUNNING |