Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/acpi/acpica/nsxfname.c acpi_get_handle() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
BUF_SIZE 0 handle s32min-(-1),1-s32max
BUF_SIZE 0 handle s32min-(-1),1-s32max
DATA_SOURCE 0 handle $0
STR_LEN 0 handle (-1),3-5,9,14,23
STR_LEN 0 handle (-1),3-5,9,14,23
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 handle->object->string.length
HALF_LOCKED2 &acpi_desc->init_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dmar_global_lock

drivers/acpi/acpica/nsxfname.c acpi_get_object_info() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/acpi/acpica/evregion.c acpi_ev_reg_run() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsdump.c acpi_ns_dump_one_object() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsdump.c acpi_ns_dump_one_object_path() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/evxfregn.c acpi_execute_reg_methods() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/evxfregn.c acpi_install_address_space_handler_internal() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 handle->object->string.length

drivers/acpi/acpica/evxfregn.c acpi_remove_address_space_handler() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 handle unit_byte
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 _T->lock

drivers/acpi/acpica/evhandler.c acpi_ev_install_handler() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsxfeval.c acpi_attach_data() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/acpi/acpica/nsxfeval.c acpi_detach_data() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/acpi/acpica/nsxfeval.c acpi_evaluate_object() -> acpi_ns_validate_handle()

Type Parameter Key Value
DATA_SOURCE 0 handle $0

drivers/acpi/acpica/nsxfeval.c acpi_get_data_full() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsxfeval.c acpi_ns_get_device_callback() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsxfeval.c acpi_walk_namespace() -> acpi_ns_validate_handle()

Type Parameter Key Value
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &init_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &slot_list_lock

drivers/acpi/acpica/nsnames.c acpi_ns_handle_to_name() -> acpi_ns_validate_handle()

Type Parameter Key Value
DATA_SOURCE 0 handle $0
STR_LEN 0 handle (-1)
STR_LEN 0 handle (-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 handle->object->string.length
HALF_LOCKED2 _T->lock

drivers/acpi/acpica/nsnames.c acpi_ns_handle_to_pathname() -> acpi_ns_validate_handle()

Type Parameter Key Value
BUF_SIZE 0 handle s32min-(-1),1-s32max
BUF_SIZE 0 handle s32min-(-1),1-s32max
DATA_SOURCE 0 handle $0
STR_LEN 0 handle (-1),3-4,6,10,12-46,49-53,55-56,58-60,62-63,67-68,79-80
STR_LEN 0 handle (-1),3-4,6,10,12-46,49-53,55-56,58-60,62-63,67-68,79-80
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 handle->object->string.length

drivers/acpi/acpica/nsxfobj.c acpi_get_next_object() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->common.descriptor_type 15
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &subdev->use.mutex
TYPE_LOCK (struct nvkm_subdev)->use.mutex

drivers/acpi/acpica/nsxfobj.c acpi_get_next_object() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &subdev->use.mutex
TYPE_LOCK (struct nvkm_subdev)->use.mutex

drivers/acpi/acpica/nsxfobj.c acpi_get_parent() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 0-18446744073709551614
DATA_SOURCE 0 handle $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/nsxfobj.c acpi_get_type() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 0-18446744073709551614
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/acpi/acpica/dbnames.c acpi_db_walk_for_fields() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/rsxface.c acpi_rs_validate_parameters() -> acpi_ns_validate_handle()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
DATA_SOURCE 0 handle $0
STR_LEN 0 handle (-1),4
STR_LEN 0 handle (-1),4
RX_PATH
TASK_NOT_RUNNING