Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpica/psloop.c acpi_ps_parse_loop() -> acpi_ex_start_trace_opcode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | op->common.descriptor_type | 13 |
| PARAM_VALUE | 0 | op->common.flags | 1-2,4,8,33-34,36,40 |
| PARAM_VALUE | 1 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 1 | walk_state->aml | 0-18446744073709551614 |
| PARAM_VALUE | 1 | walk_state->arg_types | 0-1,3,6,8-9,12,14,16-18,40,136,265,393,398,430,434,460,462,491,524,590,641,1064,2507,5163,5579,8654,10507,13774,14529,15627,15819,230699,276942,439758,440782,473128,473544,492811,7382315,11011339,236397867,336790795-u32max |
| PARAM_VALUE | 1 | walk_state->descending_callback | 1-u64max |
| PARAM_VALUE | 1 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 1 | walk_state->opcode | 0-90,92-255,23296-23551,u16max |
| PARAM_VALUE | 1 | walk_state->parser_state.aml | 0-18446744073709551614 |
| PARAM_VALUE | 1 | walk_state->parser_state.aml_end | 1-u64max |
| PARAM_VALUE | 1 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 1 | walk_state->parser_state.scope->parse_scope.arg_count | 1-u32max |
| PARAM_VALUE | 1 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 1 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 1 | walk_state->scope_info->common.descriptor_type | 3-5,7-9 |
| BUF_SIZE | 1 | walk_state | (-1),1128 |
| BUF_SIZE | 1 | walk_state | (-1),1128 |
| BUF_SIZE | 1 | walk_state->implicit_return_obj | (-1)-s32max |
| BUF_SIZE | 1 | walk_state->method_pathname | (-1),1-s32max |
| CAPPED_DATA | 1 | walk_state->parser_state.aml_end | 1 |
| DATA_SOURCE | 1 | walk_state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |