Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/scan.c acpi_init_device_object() -> acpi_set_pnp_ids()

Type Parameter Key Value
PARAM_VALUE 0 handle->descriptor_type 0-255
PARAM_VALUE 0 handle->flags 0-u16max
PARAM_VALUE 0 handle->name.integer 0-4294967295
PARAM_VALUE 0 handle->owner_id 0-u16max
PARAM_VALUE 0 handle->type 0-255
PARAM_VALUE 1 pnp 4096-ptr_max
PARAM_VALUE 1 pnp->ids.next 4096-ptr_max
PARAM_VALUE 1 pnp->ids.prev 4096-ptr_max
PARAM_VALUE 2 device_type 0-6
DATA_SOURCE 0 handle $1
DATA_SOURCE 2 device_type $2
FUZZY_MAX 2 device_type 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL