Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/acpi/acpica/dbxface.c acpi_db_start_command() -> acpi_db_command_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 input_buffer 734584502866616320
PARAM_VALUE 1 walk_state 4096-ptr_max
PARAM_VALUE 1 walk_state->descending_callback 1-u64max
PARAM_VALUE 1 walk_state->num_operands 0
PARAM_VALUE 1 walk_state->op 4096-ptr_max
PARAM_VALUE 1 walk_state->op_info 4096-ptr_max
PARAM_VALUE 1 walk_state->op_info->class 0-9
PARAM_VALUE 1 walk_state->op_info->type 0-2,4-15,17-25,27
PARAM_VALUE 1 walk_state->operand_index 0
PARAM_VALUE 1 walk_state->parser_state.scope->common.descriptor_type 3-9
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->result_obj 0
PARAM_VALUE 1 walk_state->return_desc 0
PARAM_VALUE 2 op 4096-ptr_max
BUF_SIZE 0 input_buffer 512
BUF_SIZE 1 walk_state->aml (-1),1-s32max
BUF_SIZE 1 walk_state->method_pathname (-1),1-s32max
BUF_SIZE 1 walk_state->op_info (-1),576
DATA_SOURCE 1 walk_state $0
DATA_SOURCE 2 op $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->string.length

drivers/acpi/acpica/dbinput.c acpi_db_command_dispatch() -> acpi_db_command_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 input_buffer 1-u64max
PARAM_VALUE 1 walk_state->op_info->class 0-10
PARAM_VALUE 1 walk_state->op_info->type 0-2,4-15,17-25,27
BUF_SIZE 1 walk_state->aml (-1),1-s32max
BUF_SIZE 1 walk_state->implicit_return_obj (-1),1-s32max
BUF_SIZE 1 walk_state->op_info (-1),576
DATA_SOURCE 0 input_buffer r acpi_db_get_from_history
DATA_SOURCE 1 walk_state $1
DATA_SOURCE 2 op $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->method.mutex
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->string.length
NO_OVERFLOW_SIMPLE 1 walk_state->result_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->result_obj->method.mutex
NO_OVERFLOW_SIMPLE 1 walk_state->return_desc->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->return_desc->method.mutex

drivers/acpi/acpica/dbinput.c acpi_db_command_dispatch() -> acpi_db_command_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 input_buffer 1-u64max
PARAM_VALUE 1 walk_state->op_info->class 0-10
PARAM_VALUE 1 walk_state->op_info->type 0-2,4-15,17-25,27
BUF_SIZE 1 walk_state->aml (-1),1-s32max
BUF_SIZE 1 walk_state->implicit_return_obj (-1),1-s32max
BUF_SIZE 1 walk_state->op_info (-1),576
DATA_SOURCE 0 input_buffer r acpi_db_get_from_history
DATA_SOURCE 1 walk_state $1
DATA_SOURCE 2 op $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->method.mutex
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->string.length
NO_OVERFLOW_SIMPLE 1 walk_state->result_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->result_obj->method.mutex
NO_OVERFLOW_SIMPLE 1 walk_state->return_desc->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 1 walk_state->return_desc->method.mutex

drivers/acpi/acpica/dbinput.c acpi_db_user_commands() -> acpi_db_command_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 input_buffer 734584502866616320
PARAM_VALUE 1 walk_state 0
PARAM_VALUE 2 op 0
BUF_SIZE 0 input_buffer 512
HALF_LOCKED2 &pool->lock