Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_platform.c acpi_create_platform_device() -> acpi_platform_fill_resource()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 adev->device_type 0
PARAM_VALUE 0 adev->handle 1-u64max
PARAM_VALUE 0 adev->handler->attach 0,4096-ptr_max
PARAM_VALUE 0 adev->handler->bind 0,7800146141582131200
PARAM_VALUE 0 adev->handler->detach 0,1100082136474046464,1582600108896296960,1609302589942390784,4128778365344645120
PARAM_VALUE 0 adev->handler->hotplug.notify_online 0,5166774445448392704
PARAM_VALUE 0 adev->handler->hotplug.scan_dependent 0,1091777387968536576
PARAM_VALUE 0 adev->handler->ids 4096-ptr_max
PARAM_VALUE 0 adev->handler->match 0,4096-ptr_max
PARAM_VALUE 0 adev->handler->post_eject 0,7872361079854043136
PARAM_VALUE 0 adev->handler->unbind 0,5631356564524412928
PARAM_VALUE 2 dest 4096-ptr_max
BUF_SIZE 0 adev->driver_data (-1),24,88
CAPPED_DATA 0 adev 1
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adev->handle->object->string.length
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock