Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/dbexec.c acpi_db_execute() -> acpi_db_execute_method()

Type Parameter Key Value
PARAM_VALUE 0 info 848337422275919872
PARAM_VALUE 0 info->args 5740800433444012048
PARAM_VALUE 0 info->flags 1-2,5
PARAM_VALUE 0 info->method 0,2100165663990964224
PARAM_VALUE 0 info->name 4096-ptr_max
PARAM_VALUE 0 info->types 4823466769579016200
PARAM_VALUE 1 return_obj 2562927498474700800
PARAM_VALUE 1 return_obj->length u64max
PARAM_VALUE 1 return_obj->pointer 0
TERMINATED 0 info->pathname 1
MEM_ZERO 0 info
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/acpi/acpica/dbexec.c acpi_db_method_thread() -> acpi_db_execute_method()

Type Parameter Key Value
PARAM_VALUE 0 info 8365551032046252032
PARAM_VALUE 0 info->args 4096-ptr_max
PARAM_VALUE 0 info->init_args 0-1
PARAM_VALUE 1 return_obj 812285520830214144
HALF_LOCKED2 &pool->lock

drivers/acpi/acpica/dbexec.c acpi_db_single_execution_thread() -> acpi_db_execute_method()

Type Parameter Key Value
PARAM_VALUE 1 return_obj 4237860579712421888
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
DATA_SOURCE 0 info $0
HALF_LOCKED2 &pool->lock