Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/scan.c acpi_bus_check_add() -> acpi_scan_init_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->data.pointer 0
PARAM_VALUE 0 adev->dev.driver 0
PARAM_VALUE 0 adev->dev.init_name 0
PARAM_VALUE 0 adev->dev.power.completion.done 4294967295
PARAM_VALUE 0 adev->dev.power.in_dpm_list 1
PARAM_VALUE 0 adev->dev.power.irq_safe 0
PARAM_VALUE 0 adev->device_type 0,2-3
PARAM_VALUE 0 adev->flags.cca_seen 1
PARAM_VALUE 0 adev->flags.dynamic_status 1
PARAM_VALUE 0 adev->flags.ejectable 1
PARAM_VALUE 0 adev->flags.of_compatible_ok 1
PARAM_VALUE 0 adev->flags.removable 1
PARAM_VALUE 0 adev->flags.visited 0
PARAM_VALUE 0 adev->fwnode.dev 0
PARAM_VALUE 0 adev->fwnode.flags 0
PARAM_VALUE 0 adev->fwnode.ops 8531275411893063680
PARAM_VALUE 0 adev->fwnode.secondary 0
PARAM_VALUE 0 adev->handle s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 adev->physical_node_lock.first_waiter 0
PARAM_VALUE 0 adev->pnp.instance_no 0-s32max
PARAM_VALUE 0 adev->pnp.type.backlight 1
PARAM_VALUE 0 adev->pnp.type.bus_address 1
PARAM_VALUE 0 adev->pnp.type.hardware_id 1
PARAM_VALUE 0 adev->pnp.type.platform_id 1
PARAM_VALUE 0 *adev->dev.groups 1567384277213827072
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL