Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/bus.c acpi_eval_osc() -> acpi_dump_osc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max,(-1) |
| PARAM_VALUE | 0 | handle->common.descriptor_type | 15 |
| PARAM_VALUE | 1 | guid | 1777074714878124032,4247657670907887616 |
| PARAM_VALUE | 2 | rev | 1 |
| PARAM_VALUE | 3 | cap | 2706521479045599248,3544778811567669264,8286984084588122128,8916015707104362512,9080031900107337728 |
| PARAM_VALUE | 3 | cap->length | 8-12,20 |
| PARAM_VALUE | 3 | cap->pointer | 4096-ptr_max |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | guid | $1 |
| DATA_SOURCE | 2 | rev | $2 |
| DATA_SOURCE | 3 | cap | $3 |
| STR_LEN | 0 | handle | (-1),36 |
| STR_LEN | 0 | handle | (-1),36 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/bus.c acpi_osc_error_check() -> acpi_dump_osc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max,(-1) |
| PARAM_VALUE | 0 | handle->common.descriptor_type | 15 |
| PARAM_VALUE | 1 | guid | 1777074714878124032,4247657670907887616 |
| PARAM_VALUE | 2 | rev | 1 |
| PARAM_VALUE | 3 | cap | 2706521479045599248,3544778811567669264,8286984084588122128,8916015707104362512,9080031900107337728 |
| PARAM_VALUE | 3 | cap->length | 8-12,20 |
| PARAM_VALUE | 3 | cap->pointer | 4096-ptr_max |
| DATA_SOURCE | 0 | handle | $0 |
| DATA_SOURCE | 1 | guid | $1 |
| DATA_SOURCE | 2 | rev | $2 |
| DATA_SOURCE | 3 | cap | $3 |
| STR_LEN | 0 | handle | (-1),36 |
| STR_LEN | 0 | handle | (-1),36 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |