Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/dock.c acpi_dock_add() -> add_dock_dependent_device()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->dependent_devices.next 4096-ptr_max
PARAM_VALUE 0 ds->dependent_devices.next->next 4096-ptr_max
PARAM_VALUE 0 ds->dependent_devices.prev 4096-ptr_max
PARAM_VALUE 0 ds->dependent_devices.prev->next 4096-ptr_max
PARAM_VALUE 0 ds->dependent_devices.prev->prev 4096-ptr_max
PARAM_VALUE 0 ds->dock_device 4096-ptr_max
PARAM_VALUE 0 ds->dock_device->dev.platform_data 4096-ptr_max
PARAM_VALUE 0 ds->dock_device->id 0-s32max
PARAM_VALUE 0 ds->dock_device->id_auto 1
PARAM_VALUE 0 ds->sibling.next 4096-ptr_max
PARAM_VALUE 0 ds->sibling.next->next 4096-ptr_max
PARAM_VALUE 0 ds->sibling.prev 4096-ptr_max
PARAM_VALUE 0 ds->sibling.prev->next 4096-ptr_max
PARAM_VALUE 0 ds->sibling.prev->prev 4096-ptr_max
PARAM_VALUE 1 adev 4096-ptr_max
PARAM_VALUE 1 adev->data.pointer 0
PARAM_VALUE 1 adev->dev.dma_uses_io_tlb 0
PARAM_VALUE 1 adev->dev.driver 0
PARAM_VALUE 1 adev->dev.init_name 0
PARAM_VALUE 1 adev->dev.links.status 0
PARAM_VALUE 1 adev->dev.numa_node (-1)
PARAM_VALUE 1 adev->dev.power.child_count.counter 0
PARAM_VALUE 1 adev->dev.power.completion.done u32max
PARAM_VALUE 1 adev->dev.power.deferred_resume 0
PARAM_VALUE 1 adev->dev.power.disable_depth 1
PARAM_VALUE 1 adev->dev.power.early_init 1
PARAM_VALUE 1 adev->dev.power.idle_notification 0
PARAM_VALUE 1 adev->dev.power.ignore_children 0
PARAM_VALUE 1 adev->dev.power.in_dpm_list 1
PARAM_VALUE 1 adev->dev.power.irq_safe 0
PARAM_VALUE 1 adev->dev.power.is_late_suspended 0
PARAM_VALUE 1 adev->dev.power.is_noirq_suspended 0
PARAM_VALUE 1 adev->dev.power.is_prepared 0
PARAM_VALUE 1 adev->dev.power.is_suspended 0
PARAM_VALUE 1 adev->dev.power.last_status (-1)
PARAM_VALUE 1 adev->dev.power.needs_force_resume 0
PARAM_VALUE 1 adev->dev.power.no_callbacks 1
PARAM_VALUE 1 adev->dev.power.no_pm 1
PARAM_VALUE 1 adev->dev.power.qos 0
PARAM_VALUE 1 adev->dev.power.request 0
PARAM_VALUE 1 adev->dev.power.request_pending 0
PARAM_VALUE 1 adev->dev.power.runtime_auto 1
PARAM_VALUE 1 adev->dev.power.runtime_error 0
PARAM_VALUE 1 adev->dev.power.runtime_status 2
PARAM_VALUE 1 adev->dev.power.timer_expires 0
PARAM_VALUE 1 adev->dev.power.usage_count.counter 0
PARAM_VALUE 1 adev->device_type 0,2-3
PARAM_VALUE 1 adev->flags.dynamic_status 1
PARAM_VALUE 1 adev->flags.ejectable 1
PARAM_VALUE 1 adev->flags.removable 1
PARAM_VALUE 1 adev->flags.visited 0
PARAM_VALUE 1 adev->fwnode.dev 0
PARAM_VALUE 1 adev->fwnode.flags 0
PARAM_VALUE 1 adev->fwnode.ops 8531275411893063680
PARAM_VALUE 1 adev->fwnode.secondary 0
PARAM_VALUE 1 adev->physical_node_lock.first_waiter 0
PARAM_VALUE 1 adev->pnp.instance_no 0-s32max
PARAM_VALUE 1 adev->pnp.type.backlight 1
PARAM_VALUE 1 adev->pnp.type.bus_address 1
PARAM_VALUE 1 adev->pnp.type.hardware_id 1
PARAM_VALUE 1 adev->pnp.type.platform_id 1
PARAM_VALUE 1 *adev->dev.groups 1567384277213827072
BUF_SIZE 0 ds s32min-(-2),1-s32max
BUF_SIZE 0 ds s32min-(-2),1-s32max
BUF_SIZE 0 ds->dock_device 1688
CAPPED_DATA 0 ds->dock_device->num_resources 1
DATA_SOURCE 1 adev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ds->dock_device->num_resources

drivers/acpi/dock.c register_dock_dependent_device() -> add_dock_dependent_device()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 1 adev 4096-ptr_max
PARAM_VALUE 1 adev->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 1 adev->handle->common.descriptor_type 15
CAPPED_DATA 0 ds->handle 1
DATA_SOURCE 0 ds r find_dock_station
DATA_SOURCE 1 adev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &acpi_scan_lock