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/dbdisply.c acpi_db_display_arguments() -> acpi_db_decode_arguments()

Type Parameter Key Value
PARAM_VALUE 0 walk_state 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/acpi/acpica/dbobject.c acpi_db_dump_method_info() -> acpi_db_decode_arguments()

Type Parameter Key Value
PARAM_VALUE 0 walk_state 4096-ptr_max
PARAM_VALUE 0 walk_state->deferred_node 0
PARAM_VALUE 0 walk_state->op_info->class 0-10
PARAM_VALUE 0 walk_state->op_info->flags 0,640,960,4096,4128,4736,4776,4792,4880,4912,4992,5056,5088,5120,7168,8192,12288,12320,13312-13314,15360,15364,17408,21504
PARAM_VALUE 0 walk_state->op_info->object_type 0-30
PARAM_VALUE 0 walk_state->parser_state.scope->common.descriptor_type 3-9
PARAM_VALUE 0 walk_state->parser_state.scope->parse_scope.arg_count 1-u32max
PARAM_VALUE 0 walk_state->parser_state.start_op->common.descriptor_type 13
PARAM_VALUE 0 walk_state->parser_state.start_op->common.flags 1-2,4,8
PARAM_VALUE 0 walk_state->thread 1-u64max
BUF_SIZE 0 walk_state->aml (-1),1-s32max
BUF_SIZE 0 walk_state->method_pathname (-1),1-s32max
BUF_SIZE 0 walk_state->op_info (-1),576
CAPPED_DATA 0 walk_state 1
CAPPED_DATA 0 walk_state->method_node 1
DATA_SOURCE 0 walk_state $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 walk_state->implicit_return_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 0 walk_state->implicit_return_obj->method.mutex
NO_OVERFLOW_SIMPLE 0 walk_state->implicit_return_obj->string.length
NO_OVERFLOW_SIMPLE 0 walk_state->result_obj
NO_OVERFLOW_SIMPLE 0 walk_state->result_obj->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 0 walk_state->result_obj->method.mutex
NO_OVERFLOW_SIMPLE 0 walk_state->return_desc->field.internal_pcc_buffer
NO_OVERFLOW_SIMPLE 0 walk_state->return_desc->method.mutex