Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/acpi/acpica/dscontrol.c, line 92
- drivers/acpi/acpica/dswscope.c, line 128
- drivers/acpi/acpica/dswstate.c, line 204
- drivers/acpi/acpica/psscope.c, line 132
- drivers/acpi/acpica/utmisc.c
Smatch caller information:
drivers/acpi/acpica/utmisc.c acpi_ut_create_update_state_and_push() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 8634670870308851712 |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 3 |
| DATA_SOURCE | 0 | list_head | $2 |
| DATA_SOURCE | 1 | state | r acpi_ut_create_update_state |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/acpica/utmisc.c acpi_ut_walk_package_tree() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 4714344003228770304 |
| PARAM_VALUE | 0 | *list_head | 0,4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 4 |
| BUF_SIZE | 1 | state->pkg.dest_object | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 1 | state->pkg.source_object | (-1),1-s32max |
| PARAM_COMPARE | 1 | state->pkg.index | <= $1->pkg.source_object->package.count |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/acpica/psscope.c acpi_ps_push_scope() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 7 |
| BUF_SIZE | 1 | state->parse_scope.pkg_end | 1-s32max |
| DATA_SOURCE | 1 | state | r acpi_ut_create_generic_state |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/acpica/dswscope.c acpi_ds_scope_stack_push() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 8 |
| CAPPED_DATA | 1 | state->scope.node | 1 |
| DATA_SOURCE | 1 | state | r acpi_ut_create_generic_state |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/acpica/dscontrol.c acpi_ds_exec_begin_control_op() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 4096-ptr_max |
| PARAM_VALUE | 0 | *list_head | 0,4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 5 |
| BUF_SIZE | 1 | state->control.package_end | 1-s32max |
| DATA_SOURCE | 1 | state | r acpi_ut_create_control_state |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/acpica/dswstate.c acpi_ds_result_stack_push() -> acpi_ut_push_generic_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list_head | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | state->common.descriptor_type | 9 |
| DATA_SOURCE | 1 | state | r acpi_ut_create_generic_state |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |